数学基礎論・数理論理学 その14at MATH
数学基礎論・数理論理学 その14
- 暇つぶし2ch524:132人目の素数さん
14/02/16 21:41:55.33
>>523
>不完全性定理が根なし草とも思わないんだが
その“証明”の冒頭で、P&(P⊃Q)⊃Q であるとして、B_Russell の material implication
を平然として使っている。
次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch