数学基礎論・数理論理学 その10at MATH数学基礎論・数理論理学 その10 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト273:１３２人目の素数さん 11/11/06 18:20:57.12 証明論とかって計算機畑の方が主流？ ここ最近の研究事情がどうなってるのかわからん。 274:１３２人目の素数さん 11/11/06 18:23:49.45 >>269 ＞数学の外で一国をつくればよい。 ずいぶん壮大なことをのたまっているようだが、今の体制で 本当にそのようなことを実現するなら、政治的な力が必要だな。 内部から変化することはありえないから。 こんなところで愚痴ってないで、お前が先頭に立って 排斥運動の1つでもやってみたらどうだねｗ 275:１３２人目の素数さん 11/11/06 18:28:10.07 ロジックというのは、ロジックに関係しているというだけの 雑学の総称？ 276:１３２人目の素数さん 11/11/06 18:48:03.53 「AはAに関係してるものの総称」 277:１３２人目の素数さん 11/11/06 19:35:09.95 >>276 アニメやゲームはそういう感じで使われているね 278:１３２人目の素数さん 11/11/06 21:24:26.00 >>271 基礎的な定理には初等的な証明、理解の仕方があるのは、 代数だって変わらんでしょ。けどそれじゃ数学的構造理解しているとは言えない。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch