トップページ⇒math
1001コメント361KB

ジョルダンの曲線定理が完全証明される

レス数が1000を超えています。これ以上書き込みはできません。
0001１３２人目の素数さん2005/09/28(水) 02:15:26
★ジョルダン：曲線定理、世界初の完全証明　信州大教授ら

・フランスの数学者カミーユ・ジョルダンが１８８７年に概念を確立し、その後多くの
　数学者らが完全証明に挑んできた「ジョルダンの曲線定理」について、信州大
　工学部の中村八束（やつか）教授（６２）が２７日、ポーランドの数学者ら１６人との
　約１４年間にわたる共同作業で、完全証明に成功したと発表した。数式上の誤り
　などを確認するコンピューターシステムのチェックを経て、約２０万行にわたる証明が
　完成。中村教授らは「完全証明したのは世界初」としている。

　「ジョルダンの曲線定理」は「平面上の閉じた曲線は、平面を曲線の内と外に分ける」
　というもの。直感的には明らかだが、数学的な証明は難しいとされてきた。

　中村教授によると、人間が行った数学的な証明をチェックする「プルーフ・チェッカー」
　というコンピューターシステムのうち、今回はポーランド・ビアリストーク大のアンジェイ・
　トリブレッツ博士（６４）らが開発した「ＭＩＺＡＲ（ミザール）」と呼ばれるシステムを使用
　したという。中村教授は「同様のシステムでコンピュータープログラムにミスがない
　ことを確認するなど、今回の成果は実社会にも応用できる可能性がある」と話している。

　http://www.mainichi-msn.co.jp/shakai/wadai/news/20050928k0000m040137000c.html
0951１３２人目の素数さん2005/10/11(火) 11:43:37
証明は感覚なの、主観なの。まずは、そこから確認しないとね

それに対して、証明図は客観なの
0952１３２人目の素数さん2005/10/11(火) 11:44:42
早く、哲学的な客観の意味とその非存在を説明してよ。
0953１３２人目の素数さん2005/10/11(火) 11:50:42
存在するものは、説明をしなくとも提示すればいい。

対して非存在は説明しなきゃいけない。分かってる？

赤の存在は説明しなくても、赤を提示すればいいの。
0954１３２人目の素数さん2005/10/11(火) 11:50:55
>>951
はあ？何いってんだお前？
数学的帰納法による証明すらまともにできんくせに。
0955１３２人目の素数さん2005/10/11(火) 11:53:07
もちろん、赤は存在してるけど。目に見えない人には分からない（かも）。
それと数学の証明は同じなのさ。なぜなら、証明は感覚の問題だからだよ。
0956１３２人目の素数さん2005/10/11(火) 11:54:50
赤を提示しても、目の見えない人には分からない。それと同じだよ〜ん
だからと言って、赤がない訳じゃないんだよ
0957１３２人目の素数さん2005/10/11(火) 11:57:52
>>956
ぜんぜん違う。
フェルマーの定理について概説した本をかいた女哲学者と同じ間違いを犯してる。
翻訳は数学がわかる訳者にたいそう叩かれてた。
間違いだらけだとな。
0958１３２人目の素数さん2005/10/11(火) 11:58:11
お前に赤が見えなくても、赤がない訳じゃない

君には数学の「証明」が見えないだけ

もう仕方がないから、代わりに「証明図」でも
見てなさい
0959１３２人目の素数さん2005/10/11(火) 12:01:24
「数学がわかってるつもりの訳者」さんの間違いでしょ。
今の君と同じ症状だね。

それとも何かい？君は数学が分かってるのに証明の意味が
分からないとでも
0960１３２人目の素数さん2005/10/11(火) 12:04:51
鉄柱が混乱するパラドックスの多くは、言語とメタ言語の違いが見えないことによる。
独学ではなく、正規の教育を受ける人間は、専門以前にリベラル・アーツの段階で、そのような間違いを犯さない手法を身につける。
ところが鉄柱はそうではない。
おおよそ、このスレでおきているような、くだらないいい争いは、その学習の段差によって生まれているコミュニケーションの問題にすぎない。
0961１３２人目の素数さん2005/10/11(火) 12:06:34
「証明」は主観だから見えない人には見えません。

数学者でも専門が違えば、見えない方が普通だよ。
0962１３２人目の素数さん2005/10/11(火) 12:09:38
フェルマーの定理の証明なんて、数論の専門家以外で見えてる奴なんて
ほとどいないねえ。
0963１３２人目の素数さん2005/10/11(火) 12:12:55
>>1だけ読んだけど、
ふーん、バグ取りをコンピュータがやってくれんのか。便利だな。
VC10ぐらいには搭載されるかなあ。
0964１３２人目の素数さん2005/10/11(火) 12:40:12
早く、哲学的な客観の意味とその非存在を説明してよ。
0965１３２人目の素数さん2005/10/11(火) 17:10:02
>>960
実際に混乱しているのは、鉄柱ではなく鉄柱嫌いのほう。
彼は自分の混乱を、メタ言語のせいにしているが、それは間違っている。

実際には鉄柱嫌いは、高等教育を受けたことがないと見た
（つまり大学にいったことがない）
正規の教育＝リベラル･アーツなんて平気で口にするのは
大学に一切いったことがなくネットで四苦八苦しながら
独学してる奴だけ。
0966１３２人目の素数さん2005/10/11(火) 17:11:10
証明図が客観だというのは、数ヲタの願望でしかない（ｗ
0967１３２人目の素数さん2005/10/11(火) 17:11:44
機械が客観だというのも、機械ヲタの信仰でしかない（ｗ
0968１３２人目の素数さん2005/10/11(火) 17:11:49
>大学に一切いったことがなくネットで四苦八苦しながら
>独学してる奴だけ。

えらいよねそんなことできるなら
0969１３２人目の素数さん2005/10/11(火) 17:12:36
>>968
＞ えらいよねそんなことできるなら
はずかしいね嘘を本当だと思い込む馬鹿なんて
0970１３２人目の素数さん2005/10/11(火) 17:14:38
>はずかしいね嘘を本当だと思い込む馬鹿なんて
はずかしいね反射的に書き込む馬鹿なんて
0971１３２人目の素数さん2005/10/11(火) 17:15:25
>>970
＞はずかしいね反射的に書き込む馬鹿なんて
はずかしいね反射的に書き込んだ馬鹿の君（ｗ
0972１３２人目の素数さん2005/10/11(火) 17:16:33
いいか
哲学は客商売なんだぞ
主観なんてゴミとおんなじだ
0973１３２人目の素数さん2005/10/11(火) 17:17:48
>>970
＞はずかしいね反射的に書き込む馬鹿なんて
はずかしいね反射的に書き込んだ馬鹿の君（ｗ

あのね教えてやろうか
どんどん書き込んでこんな目障りなのをどっかに
やりたいだけなの
0974１３２人目の素数さん2005/10/11(火) 17:17:57
>>972
一番恥ずかしいのは、
「主観はゴミ」という主観的主張を
行う反哲学的宗教家

哲学的懐疑を嫌うのは宗教的狂信
0975１３２人目の素数さん2005/10/11(火) 17:18:33
さあもうすこしだぞ
0976１３２人目の素数さん2005/10/11(火) 17:19:18
>>975
君ももうすぐ死ねる
0977１３２人目の素数さん2005/10/11(火) 17:19:29
一番恥ずかしいのは
恥ずかしいというこころだ
な
いいか
0978１３２人目の素数さん2005/10/11(火) 17:19:53
君の主観が消え去るのだよ。
君の望みだろ？
0979１３２人目の素数さん2005/10/11(火) 17:20:25
君が死ねば君の恥はなくなる。
0980１３２人目の素数さん2005/10/11(火) 17:20:26
さあ
どんどん書き込め
0981１３２人目の素数さん2005/10/11(火) 17:20:56
死を恐れるな。
0982１３２人目の素数さん2005/10/11(火) 17:21:04
遠慮するな
0983１３２人目の素数さん2005/10/11(火) 17:21:56
だれも真面目につきあってないんだからな
0984１３２人目の素数さん2005/10/11(火) 17:22:20
人は死を体験できない。
なぜなら、体験とは意識あってのことだからだ。
0985１３２人目の素数さん2005/10/11(火) 17:23:26
そうそう
はい次
0986１３２人目の素数さん2005/10/11(火) 17:23:28
死の恐怖は、死を理解しようとする馬鹿げた試みによる。
0987１３２人目の素数さん2005/10/11(火) 17:23:59
そうそう
次は？
0988１３２人目の素数さん2005/10/11(火) 17:24:26
意識できないものを意識しようとするのも、最も馬鹿げた試みだ。
0989１３２人目の素数さん2005/10/11(火) 17:25:03
かきこみの恐怖は、かきこみを理解しようとする馬鹿げた試みによる。
0990１３２人目の素数さん2005/10/11(火) 17:25:48
そうだそうだもっともだ
0991１３２人目の素数さん2005/10/11(火) 17:25:51
は〜？

数ヲタにとって大事なのは、主観の方（＝証明）なんだが…
0992１３２人目の素数さん2005/10/11(火) 17:26:14
そう、君だ。馬鹿は
0993１３２人目の素数さん2005/10/11(火) 17:26:50
は〜？

なんて言ってないでほら書き込め
0994１３２人目の素数さん2005/10/11(火) 17:26:57
>>991
数ヲタにとって真に大事なのは自分。
0995１３２人目の素数さん2005/10/11(火) 17:27:44
あとすこしだね
0996１３２人目の素数さん2005/10/11(火) 17:27:48
証明（＝主観）が見えない人（＆機械）のために
代替物として、「証明図」（客観）があるんだよ
0997１３２人目の素数さん2005/10/11(火) 17:28:29
どっちが最後に書き込めるかが勝負だぞ
0998１３２人目の素数さん2005/10/11(火) 17:31:48
お名残惜しいね
0999１３２人目の素数さん2005/10/11(火) 17:32:26
十三日十五時間十七分。
1000１３２人目の素数さん2005/10/11(火) 17:33:26
十三日十五時間十八分。
1001１００１Over 1000Thread
このスレッドは１０００を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。
レス数が1000を超えています。これ以上書き込みはできません。