タイトルの通り。 数理論理学って何をするの？って話を自分なりにまとめてみた。 あくまで個人の理解なので、間違ってるかもしれない。 数理論理学の目的と記号論理学の方法 数学の証明の妥当性は、数学的な訓練を受けた人であれば直感的に判断できる。 論理…

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

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