2023-03-01から1ヶ月間の記事一覧

岩波文庫『不完全性定理』の誤訳……?

問題 以下は、Kurt Gödel が 1931 年に出版した論文 Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I の第三段落です(ただし、ゲーデル全集を底本としたうえで、いくつかの致命的な誤植を修正してあります)。下線…