本を読んだメモ。 数理論理学の目的 以下要約 証明の妥当性は、数学的な訓練を受けている人には直感的に判断できる。 昔の欧州の人たちは、「理性」というものの存在が原因と考えていた。 しかしこのままでは「理性とは何か？」という疑問が生じる。 この「…

現在、戸次大介の数理論理学という本を読んる。 この本第一章で基本的な内容を説明しているのですが、そのあとの第2章が丸々一階論理の証明論になってる本。 この本読んでいったら定理証明系の話が分かるかななんて思ってる。 …まぁ買った本当の理由は装丁な…

プログラミングのこととか、できれば数学の事とかを書いていきたいと思います。 現在の夢は非ノイマン型計算器までくっつけたヘテロジニアスコンピューティングを実現すること。 出来れば人間の脳をニューラルネットワークで拡張したい。 こんなひとですがよ…