ゲーデルの不完全性定理への12講– category –

ゲーデルの不完全性定理への12講の初回を2022/09/11(日)に終えました。 【この連続講座について】 2022年9月から毎月一回一年かけた「ゲーデルの不完全性定理への12講」という有料連続講座を開設しました。数理論理学とは何かという話から始めて第一不完全...

この記事では、ゲーデルの不完全性定理への12講の発表草稿冒頭から、不完全性定理が持つ二つの側面、つまり数学の定理としてのそれと数学に関する解釈としてのそれを紹介し、それから両者を関わらせる ヒルベルトのテーゼ を抽出して、最後に不完全性定理...