数学基礎論・数理論理学 その14at MATH数学基礎論・数理論理学 その14 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト654:１３２人目の素数さん 14/03/20 21:24:55.79 653さん 定理をそのまま理解するというのは，定理が真であることが分ること， その証明が追えてかつ自分で再現もできること，定理を適切に適用できること， というようなことを指していました． 通常はこういう理解で満足するのでしょうが，考えてみると，こういう理解は， いってみれば，無矛盾であればよしとする理解，機械でもできる理解，定理の 内部に閉じた理解，受動的な理解ではないかと思います． そうではない理解，特に定理の外部との関係においての理解というものが あり得て，むしろそういう理解をしたいと思っています． これは数学なら数学の内部に閉じこもっている人たちには，何をいっているか 分ってもらいにくいと思いますが． 655:１３２人目の素数さん 14/03/20 21:31:25.16 数学の他分野ならともかく、よりにもよって集合論の場合、数学外部との関係と言われると辛いな…ｗ しかも、どうやら社会学的な意義も期待してるみたいだし 656:１３２人目の素数さん 14/03/20 21:41:58.17 >集合論の場合、数学外部との関係と言われると辛いな…ｗ いやいや独立性の定理なら，その定理の内部に閉じない理解でよいのです． >しかも、どうやら社会学的な意義も期待してるみたいだし そういう期待はまったくないんです．だから「世の中とのつながり」というと， だいたいがそういうふうに誤解されるだろうなと思っていたのですが． 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch