久しぶりに行った神保町で、前原昭二著「数学基礎論入門」なる本を1000円で買ってきた。 不完全性定理の証明にゲーデルの論文をほぼそのまま使っているのがこの本のポイント。 今までまじめに不完全性定理の証明なんて読んだことなかったので、まじめに読ん…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。