前半はゲーデルの論文の訳、後半は解説。前半は読んでもさっぱりなので華麗にスルー(ぉ 後半は主に不完全性定理の歴史とか。ヒルベルトプログラムの話とかはヒルベルトの挑戦よりはだいぶ読みやすい気がした。 しかしやっぱり数理論理学というか数学基礎論的…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。