数学基礎論・数理論理学のスレッド その7at MATH数学基礎論・数理論理学のスレッド その7 - 暇つぶし2ch728:132人目の素数さん 11/06/11 14:42:39.48 >>704 >形式的体系って人間の直感や経験を排斥して完全に記号的に決められた範囲で、 >理論を運用するためのものなのに 当初はそう思われて作られていったけれど、現実は違うんだろ。 思うに今はそもそも論を見直す段階だというか、見直しもかけずに 運用してきたことに何の疑念も覚えなかった状況をなんとかしないといけない。 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch