2016-12-24から1日間の記事一覧

数理論理学: ノート1

この本を読みます。数理論理学戸次 大介 東京大学出版会 2012-03売り上げランキング : 498190Amazonで詳しく見る by G-Tools次回: ノート2 目次: 数理論理学以下、第2章の自分の理解(第1章は予備知識なので省略)。 我々は数学の証明問題を解くことができ…