フェルマーの最終定理の解決に直接的に関わった人々

岩澤理論からの天啓で深い眠りについたフェルマーの
最終定理。ワイルズによるその初めての完全証明に直
接的に関与した人・理論について語るためのスレッド。

ヴェイユは逝ってヨシ

岩澤、志村、谷山。

　　　　　　　　＼　　　　　　　　　　　　　　　　/ 〃　 _,ｧ---‐一ﾍヽ　　　　　　.../
　　　　　　　　　＼　　　　　　　　　　　　　　　i　　／;;;;;;;;;;　　　　 ﾘ}　　　　　　../
　　　　　　　　　　 ＼. 　 　 　 　 　　　　　　　| 　 〉;;;;;;;;-‐ノ　 '''ｰ {!　∧__T _ ,,,r -r-T‐-、
　　　　　　　　　　　　＼　　　　　　　　　　　　| 　 |;;;;;;; ‐ｰ　 くー　|"~。　r　*o:*::f:::r:::..l.　|
　　　::::::::::::::　↓DQN　 ＼ 　　　__,-,,-、　 ___ﾔヽﾘ;;;;; 　 ,ｒ "_,,>､ ﾟ'｝::::::::*o;;;rｏ　ot _f_ヽ丿
　　　::::::::┃二＼　　　　　_＼__/| | l |ヾ-"~　 ヽ_｣;;;;;　　ト‐＝‐ｧ'　!,,..-v--'''''''"V"~~ ┴
　　　:::::::┃.　＼＼　　l⌒l二|-l ..uUU""l----' ''ゝi、 　 ` ｀二´' 丿:::::::::::::::| 糞餓鬼ども・・・
　　　:::::::┃-=-`9|、　 "~　...| ヽ 　l￣”／::::　__.、__|｀'' ー--‐ｆ '´:::::::::::::::::::| 無駄に生きて、
　　::::::::::┃ヽ _　ヽ　　　　 　| 　|　　／　..,-" //|　;; 　　:::: 　;; l l ｀ ;　 ::::::| 無駄に税金を使うな！
　　:::::::::::┃i".ヾ,　|　　 　　 ..|　/　　|　　/　;; | |　l　　　;;;;　　_//　　`;; 、::|
　　　::::::::┃||"　／l___ 　　 　| /　　 |　/　　l; | | 　 "〜-""~ //　　　　 `,
　　　::::_／|＼:~／|　|　　　.　|/　　　|/-　　 /|.|　　　　　　　//　 ;;　;;　　　`,
　　　　|　　|_　　,,,,|　 |　　　../　　　. |　　＼　| |____　　　　_//　　;　 l|　　　　`,
　　　　|　　|　""　　　 |　　 /　　　;' .|　　/"/ｏ　　"" " " o＼　　";.|:::::::::　　l_　
　　　　|　　 |　　　　　 l　... /　　　;;　|;;;;;". l/::::::::::::::::::::::::::::::::::`l　:::::: ｌ::::: _ - ".l
　　　 .|　　　|　　　　　　|　 |　　　.;;　l　 ／ ::::::::::::::::::::::::::::::::::::::: `ｌ　:::l／　 　 ;;` ;　
　　　　|　　　|　　　　　　|　.`l　　　　"_ノ"＼ ::::::::::::::::::::::::::::::::::::::::::|　/　`;;　　 ;;; l

ワイルズは件の論文で幾つの新しい証明を示したんだ？

MODULAR ELLIPTIC-CURVES AND FERMATS LAST THEOREM
WILES A
ANNALS OF MATHEMATICS
141: (3) 443-551 MAY 1995
Times Cited: 148

か。数学の論文にしては流石に良い勢いで引用されてるな。

ferumaoiradetekintogurotanveiyuve-ferihhisofirameko-si-dhirekurekunnma-

おもいつかね

読み難！！

アクゼルの本おもしろいな

http://homepage.mac.com/hiroyuki44/jaz03.html

　　　　　　　　＼　　　　　　　　　　　　　　　　/ 〃　 _,ｧ---‐一ﾍヽ　　　　　　.../
　　　　　　　　　＼　　　　　　　　　　　　　　　i　　／;;;;;;;;;;　　　　 ﾘ}　　　　　　../
　　　　　　　　　　 ＼. 　 　 　 　 　　　　　　　| 　 〉;;;;;;;;-‐ノ　 '''ｰ {!　∧__T _ ,,,r -r-T‐-、
　　　　　　　　　　　　＼　　　　　　　　　　　　| 　 |;;;;;;; ‐ｰ　 くー　|"~。　r　*o:*::f:::r:::..l.　|
　　　::::::::::::::　↓DQN　 ＼ 　　　__,-,,-、　 ___ﾔヽﾘ;;;;; 　 ,ｒ "_,,>､ ﾟ'｝::::::::*o;;;rｏ　ot _f_ヽ丿
　　　::::::::┃二＼　　　　　_＼__/| | l |ヾ-"~　 ヽ_｣;;;;;　　ト‐＝‐ｧ'　!,,..-v--'''''''"V"~~ ┴
　　　:::::::┃.　＼＼　　l⌒l二|-l ..uUU""l----' ''ゝi、 　 ` ｀二´' 丿:::::::::::::::| 糞餓鬼ども・・・
　　　:::::::┃-=-`9|、　 "~　...| ヽ 　l￣”／::::　__.、__|｀'' ー--‐ｆ '´:::::::::::::::::::| 無駄に生きて、
　　::::::::::┃ヽ _　ヽ　　　　 　| 　|　　／　..,-" //|　;; 　　:::: 　;; l l ｀ ;　 ::::::| 無駄に税金を使うな！
　　:::::::::::┃i".ヾ,　|　　 　　 ..|　/　　|　　/　;; | |　l　　　;;;;　　_//　　`;; 、::|
　　　::::::::┃||"　／l___ 　　 　| /　　 |　/　　l; | | 　 "〜-""~ //　　　　 `,
　　　::::_／|＼:~／|　|　　　.　|/　　　|/-　　 /|.|　　　　　　　//　 ;;　;;　　　`,
　　　　|　　|_　　,,,,|　 |　　　../　　　. |　　＼　| |____　　　　_//　　;　 l|　　　　`,
　　　　|　　|　""　　　 |　　 /　　　;' .|　　/"/ｏ　　"" " " o＼　　";.|:::::::::　　l_　
　　　　|　　 |　　　　　 l　... /　　　;;　|;;;;;". l/::::::::::::::::::::::::::::::::::`l　:::::: ｌ::::: _ - ".l
　　　 .|　　　|　　　　　　|　 |　　　.;;　l　 ／ ::::::::::::::::::::::::::::::::::::::: `ｌ　:::l／　 　 ;;` ;　
　　　　|　　　|　　　　　　|　.`l　　　　"_ノ"＼ ::::::::::::::::::::::::::::::::::::::::::|　/　`;;　　 ;;; l

う゛ぇぃゆ　は死んでいいね。
死んでるけど

とりあえずブェイユヲタは練炭で逝ってよしなわけで・・・

http://homepage.mac.com/norika27/

志村の名誉回復に尽力したのって誰だっけ？
カコイイね、西洋人が必死で日本人を救うなんて。
しかもブルバキ相手に。

俺はゲルハルト・フライが、最高殊勲賞だと思う。

彼はその論文「フライの楕円曲線」で、フェルマー大定理と
楕円関数論の「志村・谷山予想」が、実は同値問題であることを示した。

ワイルズは、フライの論文をキッカケとして研究を開始したのだから。

>>15
リベットがフライを証明してからスタートだと本人がＴＶでしゃべってたぞ。
景色が変わったって。

>>16
＞リベットがフライを証明してからスタートだと本人がＴＶでしゃべってたぞ。

スマン、その通り。
フライは「フェルマー大定理は不成立」と仮定し、そこからある楕円関数を導いた。
その関数は「フライの楕円曲線」を描くが、それが「モジュラーではない」と”大雑把”に予想した。
志村・谷山予想とは「全ての楕円曲線は必ずモジュラーである」というもので、
それはフライの楕円曲線と矛盾する。

ワイルズの証明は
�@志村・谷山予想の正しさを証明する。
�Aすると、それに矛盾するフライの楕円曲線は存在が否定される。
�Bそれは最初の仮定「フェルマー大定理の不成立」を否定することになり、
�C結果として「フェルマー大定理は成立する」
というものであった。

フライが提示した「フライの楕円曲線」は、自分の理論でありながら、
実は大雑把なもので、ケン・リベットがその完全なフォローをした。

しかし、全ての出発点となったフライの卓見はやはり最高だと思う。

ついでに言うと、志村・谷山予想は関数論の根幹をなす（？）大問題で、
３通りの複雑な内容を含んでいる。
ワイルズはそれが「ある一部分では成り立つ」ことを証明したのであって、
全部を証明したのではない。
しかし、それがフェルマー大定理の解決となった。

つまり、歴代の数学者を４００年近く悩ませた超難問「フェルマー大定理」も、
解決してみれば｢志村・谷山予想｣の「一部分」の「付録」に過ぎなかった、という訳。

ラングﾏﾝｾｰ

>>18
数年前に完全解決しているはずです。＞谷山・志村予想

してないよ

してるよ

>>21
2000年にテイラーたちが完全に解いた

してないよ
俺が二ヶ月前に穴を見抜けてアナルに送った

まじれすかぁ！？

マジだよ。
しかししまったな。俺がﾁｬﾈﾗｰであることがﾊﾞﾚﾙ、、

マジかよ。。。

『　超過激＆超かわいいイエローキャブのライブチャット登場　』

　　あなたの命令で若い娘たちがヌレヌレモード＆イクイクモード

☆★ アメリカ西海岸発 ☆★ 当然モザイクありません ☆★
　あなたの言葉で「若い娘」を・・・ヌードにさせてくださいmase
　あなたの指で「イエローキャブ」を・・感じさせてくださいmase
　あなたの声で「ＧＡＬ」を・・・イ・カ・セ・テ・くださいmase
　寂しがりやの日本人留学生の若い娘たちがお待ちしております！
☆★もちろん、オナニー&バイブ好きの娘ばかり☆★
　あなたのチャットをお待ちしております！！
　日本人留学生のハレンチな「性」を覗いてみてくださいmase
　チャット・セフレをお探しのあなた！今すぐ！ Let's Live!!
☆★１０分間無料で体験できるほか７日間会費無料でございます
　http://www.gals-cafe.com

『　超過激＆超かわいいイエローキャブのライブチャット登場　』

　　あなたの命令で若い娘たちがヌレヌレモード＆イクイクモード

☆★ アメリカ西海岸発 ☆★ 当然モザイクありません ☆★

　あなたの言葉で「若い娘」を・・・ヌードにさせてくださいmase
　あなたの指で「イエローキャブ」を・・感じさせてくださいmase
　あなたの声で「ＧＡＬ」を・・・イ・カ・セ・テ・くださいmase
　寂しがりやの日本人留学生の若い娘たちがお待ちしております！
☆★もちろん、オナニー&バイブ好きの娘ばかり☆★
　あなたのチャットをお待ちしております！！
　日本人留学生のハレンチな「性」を覗いてみてくださいmase
　チャット・セフレをお探しのあなた！今すぐ！ Let's Live!!
☆★１０分間無料で体験できるほか７日間会費無料でございます
　http://www.gals-cafe.com

やっぱりフライだろ

>>17-18
ワイルズに比べてフライを贔屓しているように見える所を除けば同意。

>>31=>>17-18に同意。

同一人物じゃねぇよヽ(`Д´)ノｲｯﾃﾖｼ

●●●マスコミの「盗聴、盗撮」は許されるのか？その８●●●
http://natto.2ch.net/mass/kako/1011/10115/1011522150.html

84 名前： ○○○ 投稿日： 02/01/31 01:15 ID:l3fSW81R
>>78
たぶん、君が書いている通りだよ。確信犯だ。テレ朝が、俺の電話を盗聴
したネタを使っているのは、ずいぶん前から確認している。俺だって、メディアに
ネタを提供するために生きて行くつもりはない。ついでに書くが、フジの「恋のちから」
をチラッと見たが、盗聴からヒントを得ている。盗聴は盗聴。いいかげんにしろ。

87 名前： 86 投稿日： 02/01/31 04:04 ID:7TpZZIy4
>>84
調べ直したが、「恋のチカラ」はデザイナーの話だね。
その番組には俺のネタも多数含まれているよ。
主役の「藤子」も読みは「ふじこ」ではなく「とうこ」で、
去年のHNK大河ドラマ「北条時宗」の水軍の娘と同じ発音だね。

>>55
>人によっては「脅迫」すら感じとるようだ。
デザイナーの話の「恋のチカラ」が始まったのは2002年1月10日だが、
その次の日の1月11日に「グラフィックデザイン第一人者　田中一光氏死去」というニュースがあった。
死因は急性心不全で、死亡は偶然だろうけど、その日（2002/01/11）夜のＴＶ朝日「トリック２」は
「毎年1月11日になると誰かが死ぬ」という話だった。

谷山死に　フライがこねて　食べるは　ワイルズ　ふぇるま餅

やはり最大功労者はフライだ。
まさに発想の転換、コロンブスの卵。
何故今まで誰も考えなかったんだろう？
と不思議に思うくらいシンプルなアイデアで
新しい地平を開いてしまったんだからな。

>>36
ﾊﾝﾄﾞﾙwarota

やっぱりドン＝フライだろ。

君はスーパーフライ

ていうかお前らワイルズね証明を理解してるん？
無理か。

Re:>40 日本語を喋れ。
果たして、フェルマー自身は、フェルマーの定理の証明に貢献した人と云えるだろうか？
一般の場合は証明を付けていないが、
x^4+y^4=z^4となる自然数解が存在しないことは示したので、一応証明に貢献したといえるが、
一部の説によると、オイラーの解いたx^3+y^3=z^3と、自分の解いたx^4+y^4=z^4の場合から
数学的帰納法によって解けると勘違いしたのだという。

>>41
無限降下法

おや、いつの間にかレスが延びていますネ。

>>31
＞ワイルズに比べてフライを贔屓しているように見える所を除けば同意。

はい、しっかりと贔屓しています。
何事によらず「誰も気がつかないことを最初に指摘する」パイオニアには、
その後に続く者とは全く違う、スルドイ感性と功績がある、と思うからです。

フライが「フライの楕円曲線」を発表したのは、
１９８３年ドイツ・オーベルヴォルバハで開催された数論学会。
その時彼は３９歳でした。

>>40
＞ていうかお前らワイルズね証明を理解してるん？

まず証明の対象となった「谷山・志村予想」について。

３通りの形式を含んでいるそうです。
「フェルマーの大定理が解けた」(講談社・ブルーバックス1995年）から丸写しします。

（１）第１形式
　　任意の楕円曲線
　　y^2＝x^3＋ax＋b
　　は保型関数によって有利的にパラメトライズされる。
　　即ち、ある階数Ｎの二つの保型関数ξ(z)、η(z)があり、
　　η^2＝ξ^3＋aξ＋b
　　を満たし、しかもそのq展開の係数は全て有理数である。

（２）第２形式
　　導手Ｎの楕円曲線Ｅから次の様な手続き(複雑な式があるが省略)で作られる
　　関数f(z)は重さ２、階数Ｎの保型形式になる。

（３）第３形式
　　楕円曲線のＬ関数（ｓ，Ｅ）は全ガウス平面に解折的に延長されて、
　　ある簡単な関数等式を満たす。

ワイルズの証明を理解する以前に、そもそも「谷山・志村予想」が何を言っているのか
全く解らない（ｗ

ワイルズはこれらの一部を証明したのであるが、その方法とは第４形式とでも言うべきもので、
「楕円曲線に伴う２次のガロア表現が、保型形式に伴うガロア表現と一致することを、
等分点の持つ代数論的整数論的な性質を調べることで達成する」ものであった。
「一部の証明」でも、その論文は「本文２００頁＋追加論文１」という大部なもの。

文章だけでは「アカデミック」では無い（ｗ）ので、
「ワイルズの証明」を２年前にあったスレからコピペします。

�T部
フェルマーの予想は、
(１)楕円曲線
(２)保型形式
(３)ガロア表現
と結びつけることによって、以下の２定理に帰着される。
(４)Ｌ進表現の保型性についての定理
(５)保型的な法Ｌ表現のレベルについての定理

(１)と(２)を結びつけるのが「谷山・志村予想」で
『有理数体上の楕円曲線は全部保型形式に対応する』
というものです。

�U部
(４)を証明するために以下を導入する。
(６)保型形式　⇒ヘッケ環
(７)ガロア表現⇒変形環
ヘッケ環と変形環を使って可換環の２定理を導くと(４)は
(８)ヘッケ加群とセルマー群の問題
に帰着される。(８)の証明は以下の２つの性質の証明に帰着される。
(９)保型形式　⇒ヘッケ環⇒ヘッケ加群
(10)ガロア表現⇒変形環　⇒セルマー群

セルマー群とは「イデアル類群を一般化したもの」と考えればいいのだけれど、
特に定義の為に膨大な準備が必要です。

セルマー群の元の個数＝ゼータの値という等式が証明できれば
谷山・志村予想が証明できます。

ゼータの値はヘッケ加群から求めることができ
(４)が証明されたことになります。
これに関係するのが「岩澤理論」です。

�V部
全体の基礎となっている
(11)保型形式に伴うＬ進表現の構成
と(５)を証明する。

（４）(５)が証明されたのでフェルマーの予想は証明された。

まあ、どっかの時代にフライと似たような
ことを考えたやしは居たんだろうがな。
時代が早すぎて先が続かなかったろうが。

>>48
保型形式論自体が20世紀数学の産物で、
谷山志村予想が出てくるのはようやく20世紀後半になってから。
Freyのアイデアは完全に現代数学の産物でしょう。

>>18

一般には「谷山・志村予想」と言われているのに「志村・谷山」と言うのは
あなた、専門家ですね。

43以降の方では「谷山・志村」に戻ってるのを見るにたまたまな気がするけど…

所詮なんの役にも立たない定理だよ

おまえにはな

>>53はFLTの証明を理解していないに1000Grothendieck

正直、FLTが理論的に重大な意味を持つと思ってる数学者は少ないだろう。
しかし「数学離れ」「理科離れ」をくい止めるためには役に立ったと思うよ。

証明する際に作られた道具が使える物である場合、
その定理は「役に立つ」と言える？

やっぱりフライが最高ってことでファイナルアンサー！

そうだな。えびフライは最高だ。

犠牲フライで打点１てか？

漏れも名前を残したい
そして２ちゃんでネタにされたい
それでこそ一人前

フェルマーの最終定理を数学記号だけで書くと、

x^n+y^n=z^n (x,y,z,n∈N、n≧3) ⇒ xyz=0

こんなんでいいですか？

　__∧＿∧_
　|（　　＾＾ ）|　＜寝るぽ（＾＾）
　|＼⌒⌒⌒＼
　＼ |⌒⌒⌒~|　　　　　　　　　山崎渉
　　 ~￣￣￣￣

なんでこんなものの証明のために
あんなにも必死になったのか。

フェルマーが至高の釣り師であったからさ。

>>64
ウマイ!!
20世紀最高の釣り師は
ラマヌジャンだな。

>>61
Nに０って入れてるならいいのかな？
単に∀x,y,z,n∈N st n>2, x^n+y^n≠z^n
でいいきもするけど・・・

　__∧＿∧_
　|（　　＾＾ ）|　＜寝るぽ（＾＾）
　|＼⌒⌒⌒＼
　＼ |⌒⌒⌒~|　　　　　　　　　山崎渉
　　 ~￣￣￣￣

岩澤

　　　 　∧＿∧　 ∧＿∧
ﾋﾟｭ.ｰ　（　 ・３・） (　　＾＾ ） ＜これからも僕たちを応援して下さいね（＾＾）。
　　＝〔~∪￣￣￣∪￣￣〕
　　＝ ◎――――――◎ 　　　　　　　　　　　　　　　　　　　　　山崎渉&ぼるじょあ

これ何に使えるの？

x^n+y^n=z^n (x,y,z,n∈Z、n≧3) ⇒ xyz=0

谷山志村予想が解けてない説はデマだったん？

何それ

ていうか、お前らワイル「ス」だぞ。ワイル「ズ」じゃないぞ、確か。
それと、ブルーバックスなんか読んでないで、原論文を嫁。
それで誰が偉いかを判定汁。俺はリベだと思う。もちろん、
ワイルス・テイラーは技術的部分でムチャクチャ偉いが。
Taylor-Wiles systemなんかを見てると、素数の踊る様子が
見れて感動。美しい･･･。

>>72
Bruil Conrad Diamond Taylorの論文で完全解決した。semistableじゃない
楕円曲線でもok. Frey曲線はsemistableだから、その場合だけで十分だった。

プロ発見！！

>>71は負の数を含むからまずいと思われ
x^n+y^n=z^n (x,y,z,n∈Z、x,y,z≧0、n≧3) ⇒ xyz=0
マジレスしてもうた。

　　　 (⌒V⌒)
　　　│ ＾ ＾ │＜これからも僕を応援して下さいね（＾＾）。
　　⊂|　　　　|つ
　　　（＿）（＿）　　　　　　　　　　　　　　　　　　　　　　山崎パン

ほしゅったらageろ！

メイザーを語れ

数式ってなんか絵画に似てますね

>>76
まずくないですよ？

おまいらっ、知ってるか？

上田次郎は、8歳にしてフェルマーの最終定理を解いたそうだ。
「トリック　-劇場版-」の中で言ってるから間違いない！
もう忘れてしまったらしいがな。

何年か前にNHK教育放送で「フェルマーの定理」（イギリスで作られた番組）を見たけど
メイザーおじさんが謙虚でカッコよかったよ。

どんな風にだい

メイザーを語れ！！

Maser ?
Microwave amplification by stimulated emission of radiation
（輻射の誘導放出によるマイクロ波の増幅）

岩澤理論て何ですか

>>87
Mazur

マズールって呼ぶ人が居た

お騒がせ者、宮岡洋一を語れ

あ、志村とケンがすごいってことか

オレ、オレだよオレ、フェルマーの最終定理を解いたオレ
ちょっと頼みがあるんだけどさー、オレの口座に賞金入れてくんない？

　　　　　　　　　　　　　　　　　　　　　　　　　　　オレオレ詐欺　フェルマー版

つまらない

>>91

志村・谷山予想についてぐぐったら、
「モジュラー」って言葉がよく出てくるんだけど、
どういう意味でしょうか？

楕円曲線

なんだフェルマーの最終定理は解決しちゃってたのか
漏れ４８歳だけど浮世のことは大体やりつくしたんで来年あたりから
中学の数学教師がいってたフェルマーの最終定理やろうと思ってたんだけどな
解決済ならやってもしゃぁないな
まだなんか未解決の難問ないかね。あったら２つ3つみつくろって教えてくんないかな。
ちなみに漏れ知能指数は中学の時計測不能といわれるほど高かったんだよ
東京で区一斉にやったらしいけど桁外れの解答数の多さでそうなった
知能検査って問題ごっそりあるだろあれ普通のヤシは半分できればいいそうだけど
漏れだけ全部回答して時間余っちゃったんだよ
２００は軽く越えてるらしい
特に数学向きらしいんだ。

ゴールドバッハの予想
4より大きい偶数は、必ず2つの素数（異ならなくても良い）の和で表せる。

これでもやるといい。

>>99
サンクス
それをやってみよう。

「奇数の完全数があるか」なんてのもどう？

漏れ、どうも任意の素数を自動的に作り出せる数式を
編み出したらしい。どうしたらいい？

その数式の変数と最大次数を言え。既出かどうか確認したる。

漏れ、リーマン予想解いたんだけど、どうしたらいい？

>>102
普通に知られている。
ヒルベルトの第１０問題の否定的証明に用いられている。

>>102
漏れ、リーマン予想解いたんだけど、どうしたらいい？

>>99
素数は奇数だから
(2m+1)+(2n+1)=2(m+n+1)　（ｍ,ｎは整数）
で偶数じゃだめなの？

ゲーデルの不完全性定理って間違ってるんだって。いやマジで。数学的にちゃんと示せたらしいよ。プリンストン大学の教授が。いやほんとだって。嘘だと思うなら新聞かなんか見てみ

じゃあやっぱまだ危機なわけ？

機器よ危機。新たな危機！

>>107
全然駄目。それじゃ二つの素数の和が偶数になる
ことを証明しただけ。

>>108
嘘だよ。

>>106
リーマン予想って有名だねそれ解いたらフィールズ賞もらえるかね

ゴールドバッハの予想でも貰えるだろうね

>>112
当たり前だろタコ

>>114
なんで当たり前なんだ？　小一時間、問い詰めるぞ。

嘘なの当たり前だろって意味で

>>116
だから何で嘘なのが当たり前なんだよ。分かるように説明しろや。

当たり前に決まってんだろバカかお前。どうやってあの定理の反例みつけんのよ。お前不完全性定理なんも理解してねーじゃん

>>118
反例がないって何故いえる？　それに反例を挙げなくても
論理の抜けを指摘出来ればそれでお終い。

じゃあげてみ　あるいは抜けを指摘してみ

>>120
ゲーデルが気づかなかった論理の抜け→どんな命題でも証明できる！！
どうよ？

・・・・・・・

>>120
俺が指摘できるわけないだろ。ゲーデル以上の天才じゃないと無理だろ。
俺が言ってるのは、不完全性定理が間違いだと証明される
可能性が絶対無いということは、自明ではないということだよ。
何も、不完全性定理が間違いだと言ってるわけじゃない。
この区別が、つかないということは、かなりヤバイぞ。

汚いパンツが迷い込んだスレは此処ですか？

>>123
君の言っていることは理解できる。
だが、不完全性定理が間違いだと証明される可能性が絶対無い
ということは、自明（自明とまではいかないかも）なのだ。
なぜならば、フェルマーの定理も、はじめワイル図の証明には
穴があったが、ゲーデルの定理は、数学からやや離れた
完全なる論理学の世界であるから、そう断言できるのである。（←理由になってない）
これは、僕が数理論理学をくわしく学んだから断言できるのである。

>>125
論理学学んだにしては文章に論理性がないね

>125　日本語勉強して出直せ

言いたいことはわかるでしょ。だて現にゲー出るのやつの否定が不可能であるって証明されてんだもん

民族学校出身者レベルに合わせるのは辛いので、何とかしてください。

不完全性定理が間違いだと証明される可能性が無きにしもあらずと信じる人たちが集まるスレはここですか

>>129
差別用語反対

英語が汚い論文を受け取った時のエディターの憤慨を実体験できるすれ

>>131
言葉に罪を着せて追放しても差別はなくならないよｗ

>>133
かっこいいこというねぇ

>>123
ゲーデルの結果と矛盾する結果を導き出すことは
もしかしたらできるかもね
でも、間違いだと証明されることはないよ
数学の証明なんて（これは基礎論だけど）
そのくらい明晰なもんだろ
門外漢が理解できるかどうかは別だが

>>135
＞ゲーデルの結果と矛盾する結果を導き出すことは
＞もしかしたらできるかもね
　
＞でも、間違いだと証明されることはないよ
　
これはどういう事？この２つの主張は矛盾してないの？現代数学が自己矛盾してたら
ありうるぐらいの意味？門外漢のミミズでもわかるぐらいやさしく解説して
やってくらはい。おながいします。

ワイルズは歴史に名を残したわけだが

絶対にもっとシンプルで美しい証明が存在するはずだ。
これからの俺の人生をその発見に捧げるつもりだ。

ワイルズの証明じゃ不満なの？初等的証明じゃないと嫌ってコト？

↑まったくもって不満
長たらしい
汚らしい

>>138
でないとフェルマーは証明できないよな。
それともワイルズが使った理論を全部当時からフェルマーは持っていたのか

フェルマーの証明は勘違いだったというのが通説だよ。

フェルマー以上に数学が出来る人が何人も挑戦してきているのに、
350年も未解決でありつづけたんだから、勘違いだったと考えるほうが
やっぱり自然でしょう。

何をもってフェルマー以上に数学ができると言っているのか

あ、僕がフェルマーだから

だれだっけもう一人重要な貢献をした日本人

誰だっけ？！

バカ院生が集まる部屋というのはここですか？

肥田晴三

どんなことをしたの？

ＮＨＫ総合みろ！

フェルマーの定理で日本人の誇り、防衛力、さらには宇宙人に対しても自慢できるというお話ですた。

フェルマーの定理にはもっと直接的な別証があるんだ
間違いない

フェルマーの最終定理がワイルズの定理と呼ばれる日は来ないんだ
間違いない

地球に来れるような宇宙人の母星ならとっくに既出の予感。

地球で使っている数学とは、別物の数学ができているかもしれないから、
既出じゃないかもしれない。

数学は二つ以上無い

指が４本の宇宙人なら８進法

数学って言うのは、人間がものをどう見ているかって言うのに基づいて
抽象化を行って出来たものだと思うんだよね。
だから、全く別な数学が存在していても不思議じゃないと思うんだけど。

それでもx^n+y^n=z^nにかすりもしないまま
宇宙空間飛行出来る程に数学を発展させるのは無理がある。

かすってるかどうかってのが、そもそも非常に難しい問題だから、
「無理がある」というのは無理がある。

彼らを折り包む環境に、相対論的効果を十分に日常茶飯事のことと
なるように発現させるような因子がある場合(例えば高重力)、幼稚園児でも
相対性理論を初めから自明の現象として直観的に理解しているだろう。
逆に我々にとっての古典物理学が彼らにとっては発展的な体系となるのかもしれない。
それと同じように、数学においても我々が思いもよらぬ極端な環境の条件
によって数的世界をどういった視点で眺めることがその環境に生まれた
知的存在の基礎習得事項であるかには差が生じる可能性が考えられるのでは
ないだろうか？そういう意味においては、数的世界は2つ以上存在しないが
数学体系としては全く別の基礎段階を初期の踏み台として発達し、尚且つ
最小構成単位としての文法が全く異なる複数の数学が存在している可能性は
否定できないと思う。
よって、>>158には激しく同意。

そういうのを　全く異なる　とは言わない

>>157
進法が変わった程度で　違う数学　ですか。
阿保じゃないの。
中学生かあ？

中学生に失礼だぞ！

>>1
＞ヴェイユは逝ってヨシ

うん。ついでにセールもね。

↑ついでだからお前も

ラング万歳ﾏﾝｾｰ！！！！！！！！！！！！！！！！！

それにしても、志村は可哀想すぎる・・・。

モーデルも危なかったな。
モーデル・ファルティンクスの定理。
ぷっ、ベェイユの名は入ってないなｗｗｗｗｗｗｗｗｗ
良かった、良かった。

小野田襄二「あなたも解けるフェルマーの定理完全証明」
http://www.yin.or.jp/user/ruau/bookweb/

>>169
＞幾何学の研究についてのページ
＞http://www.math.meiji.ac.jp/postgraduate/syllabus_2003/kiso2_2003.html
＞80 名前：Which不一致 ◆v.V7zKGUME 投稿日：03/10/19 21:50
＞佐藤のごはん

で述べられている人が入っていると嬉しいですか？

重力三体問題が理論的に解けないことを証明したのって
誰だっけ？

ポアンカレでは？

↑違うはず
何か賞を貰ってはいるが

http://cgd.best.vwh.net/home/flt/flt01.htm
素晴らしいページ！

http://home.tiscali.cz:8080/cb282204/proof.htm
素晴らしくシンプルな証明ﾊｹﾝ！！！

フェルマーの定理って数学科の何年生くらいで理解できるものなの？
修士2年くらい？

ワイルズは10歳

>>175
ためになった。用語集とか。

>>174

アーノルド・モーザー？

ワイルズの証明ってグロタンディエクの仕事の結果を使ってるのか？

>>177
最終定理は中学生で理解できるんじゃないの？

Ａ４一段組にしてたった５ページで済む証明法を開発した。
アナルスに送るつもり。同時にプレプリントも出すかも。
それくらい自信がある。

>>183
時間の無駄だからやめろ。
ラングランズ予想の証明でも考えろ。

>>184
そのほうが途方もない時間の無駄だな。ｗ

いや、1/グラハム数程には無駄ではないと思う。

ﾜｲﾙｽの論文むずい！

実は、ワイルスは最初に公言した時点で完全な証明を得ていた。
その後の１年以上に渡る苦悩の日々は彼の自作自演。

相当な賭けだったさ、と言っていたがね。　
レフリーに先を越される可能性があるから、
タイミングが難しかった、と。

　　　　　　　　　　　　　ニック・カッツ

>>188
何でそんなことしたの？

よりセンセーショナルに、を目指してさ

電子科の人間ですがワイルスの論文を理解するのに
何ヶ月必要ですか？

60ヶ月くらいそれだけやれば、何とかなる可能性もゼロじゃないとは断言できない
可能性がそれなりにあると思われるという噂。

>>194
何がいいたいの？

60ヶ月やれば理解出来る可能性が20％くらいだと言ってるんじゃないの？

>>195
無理って事だと思うよ、わかって聞いてはいるんだろうが

関わっていません。

関わっていません。

ﾋﾞﾝﾋﾞﾝﾏｯﾁｮﾃﾞ(ﾟдﾟ)ｵｰｴｰｵｰｴｰ

16

425

916

14

12

あげ

390

245

11

235

530