数学基礎論・数理論理学 その14at MATH
数学基礎論・数理論理学 その14 - 暇つぶし2ch524:132人目の素数さん
14/02/16 21:41:55.33
>>523
>不完全性定理が根なし草とも思わないんだが

その“証明”の冒頭で、P&(P⊃Q)⊃Q であるとして、B_Russell の material implication
を平然として使っている。


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch