数学はいつ完成するの？
■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん
2010/03/20(土) 20:58:120002１３２人目の素数さん
2010/03/20(土) 21:14:060003１３２人目の素数さん
2010/03/20(土) 21:59:36人間が数学に追いついたとき。でも追いついたと思ったら、引き離される。それが数学ｗ
よって永遠にムリぽ・・・
0004猫の嵐 ◆ghclfYsc82
2010/03/20(土) 22:49:44だから超一流の数学者の使命は：
★★★「数学が未完成である事を我々下々に伝える事」★★★
なんじゃないでしょうかね。
猫
0005１３２人目の素数さん
2010/03/20(土) 22:58:24万人から合意の得られる結論を出せないんだよね
少なくとも今後は数学基礎論が最重要分野になって来るはずですね
プールエルクリプキの定理とかシェファードソンの表現定理とか
高次元トポス論理とか様相論理とか、この辺がキーワードです＾＾
若き数学徒に幸あれ！
0006１３２人目の素数さん
2010/03/20(土) 23:08:14みんな驚くかい？
0007１３２人目の素数さん
2010/03/21(日) 08:22:25探求すればするほど、疑問が生まれてくるもんなのです。
数学に限らず、全ての学問に言えることです。
なので「完成」なんてものはない。
0008１３２人目の素数さん
2010/03/21(日) 10:31:40何か語りたいことのある電波の自演
0009１３２人目の素数さん
2010/03/21(日) 22:25:24ＶＩＰでやった方がマシだった
0010多摩川人
2010/03/21(日) 22:36:58それを発見していくものなんだがいろいろと難しいよね。
0011１３２人目の素数さん
2010/03/21(日) 22:42:38完成していると思うよじゃなくて、
何故完成しているか論理的に証明して欲しいんだよ
0012１３２人目の素数さん
2010/03/21(日) 22:46:05それをいっぺんに証明する手順が無いことも証明されていますので、
基本的には加算無限個の未解決の命題が常に残っているということが
保証されています。よって、永久には終らないのです。（証明終わり）
0013１３２人目の素数さん
2010/03/22(月) 00:59:20公理系さえ無限に存在するらしい。
0014１３２人目の素数さん
2010/03/22(月) 03:38:270015猫の嵐 ◆ghclfYsc82
2010/03/22(月) 12:51:48猫
0016１３２人目の素数さん
2010/03/22(月) 13:49:130017１３２人目の素数さん
2010/03/22(月) 15:07:48書いて完成させた小説もあるでしょう。
数学で言えば、ブルババキの数学原論が将来誰か別の人の手によって完成された時点で
数学の体系は完成、そのあとに出てくる物は、そのなかの一部分をさらに細かくした
だけのものだったり、一例だったり、ブルバキのなかのいくつかの項目をまとめれる
ものだったりするものでブルバキを部分的に改訂するものだったりするだけなんじゃ
ないかな。
0018１３２人目の素数さん
2010/03/22(月) 16:22:07>完成された時点で数学の体系は完成
キミの理解できる数学はブルバキの数学原論の範囲より
はるかに小さいがもう完結してる。だって今以上に
キミのオツムに詰め込める余裕はもうないだろ？ｗ
0019１３２人目の素数さん
2010/03/22(月) 17:02:11>>12-13
0020１３２人目の素数さん
2010/03/23(火) 04:20:04それは完全に証明されたわけですよね。
自己言及により、不完全であることが完全に証明される。
面白いですね。
自己が不完全であることを自己は完全に証明できるのか？
揚げ足取りのつもりはありませんが。
教えて、偉い人。
0021猫の嵐 ◆ghclfYsc82
2010/03/23(火) 08:47:30猫
0022１３２人目の素数さん
2010/03/24(水) 00:24:02http://yutori7.2ch.net/test/read.cgi/news4vip/1269231559/
http://yutori7.2ch.net/test/read.cgi/news4vip/1269169543/
http://yutori7.2ch.net/test/read.cgi/news4vip/1268644695/
http://yutori7.2ch.net/test/read.cgi/news4vip/1268572294/
http://yutori7.2ch.net/test/read.cgi/news4vip/1268386265/
http://yutori7.2ch.net/test/read.cgi/news4vip/1267870007/
VIPに幾つスレ立てりゃ気が済むんだ>>9は
0023１３２人目の素数さん
2010/03/24(水) 11:56:58どうせ中卒とか高卒しかいないんだろｗｗ ビッパーてｗｗｗｗｗｗｗｗ
0024１３２人目の素数さん
2010/03/24(水) 11:59:43数学板よりは高学歴沢山いるだろうな
0025１３２人目の素数さん
2010/03/24(水) 14:45:51全員が高学歴でもVIPは住民数千人規模
1％以上高学歴がいればそれだけで絶対数では多くなるわな
0026１３２人目の素数さん
2010/03/24(水) 15:58:140027猫の嵐 ◆ghclfYsc82
2010/03/24(水) 16:18:06猫
0028１３２人目の素数さん
2010/03/24(水) 16:43:010030１３２人目の素数さん
2010/03/24(水) 18:07:53そもそも、VIPPERのようなゴミカスはVIPから出てくるなよ。
0031１３２人目の素数さん
2010/03/24(水) 18:10:10「教えてくれお」じゃなくて「教えてください」だろうがボケ。
これだからVIPPER(笑)は・・・ｗ
0032多摩川人
2010/03/25(木) 21:55:22から、数学は未完成だという人の意見を聞きたい。
できれば証明もしてほしい。
0033132人目の素数さん
2010/03/25(木) 23:28:060034１３２人目の素数さん
2010/03/25(木) 23:54:170035１３２人目の素数さん
2010/03/26(金) 05:10:47＞できれば証明もしてほしい。
>>12-13
0036１３２人目の素数さん
2010/03/26(金) 09:49:36誰にも解けないような超難しい問題はいくらでも転がってる
数学の謎も尽きない
0037１３２人目の素数さん
2010/03/27(土) 19:17:49数学の謎って？
ミレニアム問題の事？
0038超越論的数学者
2010/03/27(土) 19:48:28>>12-13
を読みましょうよ。
数学には公理系というものがあります。
いくつかの公理という前提があるんです。
例えば「点は大きさを持たない」だとか「数1の次に別の数が存在する」とか。
現在の数学は、一階述語論理という論理学の公理系の上に
ZFCといういくつかの公理から成立する集合論を展開し、
公理から推論を行うことで成立しているんです。
ですが、公理自体はいじっても問題ないわけです。
集合論だけをいじっても問題ないし、実際にさまざま集合論のサンプルが存在します。
それにそもそもの論理学の公理系自体をいじることも可能なんです。
公理が1つしかないメレディスの公理系や、様相論理の公理系などいくらでもあります。
そして公理系自体が無数にあることが証明されています。
あくまで現在人類が数学と呼ぶものは、日常生活からくる直感に基く公理系による数学でしかないんです。
0039１３２人目の素数さん
2010/03/27(土) 22:08:14数学がいかに面白い論理構造だけを扱っているかが良く分かる。
工学系の本に出てくるような公理や論理というのは、
非常に実用にせまられたもので、あまり面白くない上に面倒なものばかり。
それがひとたび数学書コーナーの本を広げてみると・・・・。
0040１３２人目の素数さん
2010/03/30(火) 14:54:500041１３２人目の素数さん
2010/03/30(火) 16:43:320042１３２人目の素数さん
2010/04/02(金) 16:59:340043１３２人目の素数さん
2010/04/04(日) 10:30:12B「AってDQNだな」
ＤＱＮとインテリの文化的衝突
0044１３２人目の素数さん
2010/04/08(木) 00:32:52哀れな奴等だ
0045１３２人目の素数さん
2010/04/08(木) 10:08:04小説といっしょで人間が考えればいくらでも作れる
0046１３２人目の素数さん
2010/04/08(木) 16:33:160047１３２人目の素数さん
2010/04/09(金) 01:31:23高学歴が多いし過疎ってないしね
0048熊猫 ◆ghclfYsc82
2010/04/12(月) 08:13:19猫
■ このスレッドは過去ログ倉庫に格納されています