数学基礎論・数理論理学 その14at MATH数学基礎論・数理論理学 その14 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト657:１３２人目の素数さん 14/03/20 21:44:18.93 当然具体例はあるのだろう。 「○○の定理は△△という形で世の中と繋がっている」 みたいな。 なんかあげてみてよ。 658:１３２人目の素数さん 14/03/20 21:49:41.83 「世の中とのつながり」というのが不適切な表現だったというのは良いとして、 じゃあどういう意味だったのかが不明 あと、定理の証明を自分で再現できて適切に適用できる、 というレべルに到達するのはそれなりに大変だよ。 ACの独立性について>>654はそのレベルに達しているとは思わない。 その水準の理解に達していない人が、この定理の数学外への影響は…… と言い出すと得てして中途半端なことになる。 659:１３２人目の素数さん 14/03/20 21:53:16.08 不完全性定理やレーベンハイムの定理などの場合は，論理や集合論の外部の 一般人にとっても有意味な形で記述することができると思うのですが， それと同じようなことがZFとAC,CH,V=Lなどとの独立性定理についても できないのかな？ということでした． 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch