不完全性定理の歴史とか内容とか。かなり分かりやすく書いてあって、証明の形式化あたりまではもしかして理解できるんじゃね?と思っていたが後半のあたりはかなり意味不明だった。 やっぱり記号論理とか形式的証明は難しいなあ。 あとがき見たら謝辞にまた…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。