数学基礎論・数理論理学 その15 [転載禁止]©5ch.io
■ このスレッドは過去ログ倉庫に格納されています
0101132人目の素数さん
2014/11/22(土) 20:11:00.27じゃあ算術的な完全性定理とかを使った
不完全性定理の意味論的証明とかは「間違い」な訳だね?
〜〜を(ほとんど)使わないで証明できる、というのと
〜〜を使って証明したら「間違いだ」、というのでは天と地ほど違うと思うが。
誰がどう弁明しても>>91は後者の書き方してるからね。
(自分は)〜〜と習ったから〜〜が正しい、という根拠の主張の仕方がそもそもおかしいと思う。
■ このスレッドは過去ログ倉庫に格納されています