数学基礎論・数理論理学 その14at MATH数学基礎論・数理論理学 その14 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト650:１３２人目の素数さん 14/03/19 23:10:19.41 不完全性定理の「一般」の理解はほぼ誤解だから 651:１３２人目の素数さん 14/03/19 23:36:48.61 >>645 本当はXではなくてもXと呼ぶことはある。 慣習は守らなきゃ。 甘納豆は甘い納豆ではないし、 焼きソバは蕎麦ではない。 わんこソバは犬ではない 652:１３２人目の素数さん 14/03/20 13:34:11.47 >>649 >ひょっとして、ZFとAC,CH,V=Lなどとの独立性についても、世の中とつながりのある説明を期待していたの？ もちろんそうです． 「世の中とのつながり」というと，少し通俗的な感じがして，違いますが， >>650 >不完全性定理の「一般」の理解はほぼ誤解だから 誤解（解釈のし過ぎなど）が多いのは知っていますが， 定理をそのまま理解したり，その証明を追うだけで留めておけば 誤解は避けられるでしょうが，それでは，明らかにその意味を 理解したことにはならないわけで． いろんな意味で一般化が必要ですよね． 653:１３２人目の素数さん 14/03/20 20:11:28.79 いや「世の中とのつながり」ってのはあなた自身が言った言葉だよ。 そうです。 違いますが。 とか言われても意味が分からない。 定理をそのまま理解したのでは、 明らかにその意味を理解したことにはならない と言うのも意味分からない。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch