問題 以下は、Kurt Gödel が 1931 年に出版した論文 Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I の第三段落です(ただし、ゲーデル全集を底本としたうえで、いくつかの致命的な誤植を修正してあります)。下線…
(運営の方へ:本記事の修正や削除には原則として応じるつもりなので、必要があればご一報ください) 【委員が語る、Re:運動会への想い】現在、Re:運動会では最後の参加者募集を行っています。準備委員会としてRe:運動会を主導してきたメンバーの1人に、この…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。