ミランカで配信中の「博士も知らないニッポンのウラ」という番組が好きなんだけど、第30回の中で関数脳科学の話から「グレゴリー・チャイティンが不完全性定理を数学全般で証明するのに使った言語はLISP」という流れがあって、不完全性定理に興味をもった。 …
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。