ゲーデルの話は手続きに関する問題なのだから、コンピューターの話に落としたほうが簡単だという感想をもっているが、なかなかそういう観点で説明してくれる本がない。ゲーデル数というものがあるが、これは素因数分解の一意性を使って論理式を数字に置き換…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。