[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 49 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
217(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/10/03(土)23:09 ID:5JuF9jlR(3/4)調 AAS
>>215
あの〜
数学ってのは、無限検証であり
無限革新なのよ〜
ガウスが、代数学の基本定理というが、その後も多くの人が別証明を与えている
IUTも同じだろ
IUTをさらに高い視点から見直すということが、これからも成されるってことですよ
https://ja.wikipedia.org/wiki/%E4%BB%A3%E6%95%B0%E5%AD%A6%E3%81%AE%E5%9F%BA%E6%9C%AC%E5%AE%9A%E7%90%86
代数学の基本定理
歴史
17世紀前半にアルベール・ジラール（フランス語版、英語版）らによって主張され、18世紀の半ばからジャン・ル・ロン・ダランベール、レオンハルト・オイラー、フランソワ・ダヴィエ・ド・フォンスネ（英語版）、ジョゼフ＝ルイ・ラグランジュ、ピエール＝シモン・ラプラスらが証明を試み、その手法は洗練されていった。1799年にカール・フリードリヒ・ガウスが学位論文でそれまでの証明の不備を指摘し最初の証明を与えた（ただし、現在ではガウスの最初の証明も完全ではなかったことが分かっている[1]）。後年ガウスはこの定理に3つの異なる証明を与えた。現在ではさらに多くの証明が知られている。
218: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/10/03(土)23:12 ID:5JuF9jlR(4/4)調 AAS
>>217 訂正
ガウスが、代数学の基本定理というが、その後も多くの人が別証明を与えている
↓
ガウスが、代数学の基本定理を証明したというが、その後も多くの人が別証明を与えている
IUTを研究する数学者は、IUTをさらに発展させようとする
それを通じて、不断に検証されるべきものですよ
221: 2020/10/04(日)08:20 ID:mLeuvA76(1/9)調 AAS
>>217
>数学ってのは、無限検証であり 無限革新なのよ〜
また、ド素人がわけもわからず口から出まかせいっとるねぇ
>ガウスが、代数学の基本定理というが、その後も多くの人が別証明を与えている
今時、
「代数学の基本定理の証明にはギャップがある！新証明が必要だ」
と吠える馬鹿はいない
（注：新しい知見があるなら新しい証明を行う意義はある
たとえばリーマン球面の被覆に基づくトポロジーによる証明とか）
>IUTも同じだろ
IUTの場合、肝心の「多輻的アルゴリズム」の正当性が示されてない
つまり、hand-wavingで誤魔化してる そこが問題
（注：望月のアイデアが全く荒唐無稽だ、とはいっていない
しかしながら、Scholtzeの指摘に対して真正面から答えなかった
点など考えると、望月の数学的な誠実さには大いに疑問符が付く）
岡潔は数学以外のことに関しては実にトンチンカンなことしか言わなかったが
数学に関してはおかしなことは言わなかったし、それゆえフランスの
カルタンやセールも岡潔の発見（「層」ではなく「連接性」）の
重要性をみとめ、代数幾何学に積極的に応用したのである
望月のIUTに関して、現状では、岡と同様の展開は全く期待できない
222: 2020/10/04(日)08:25 ID:mLeuvA76(2/9)調 AAS
>>217
>ガウスの最初の証明も完全ではなかった
そもそもガウスの頃には、実数論の公理化がなされていなかったし
形式化された記号論理なんてものもまったくなかったのだから
今の数学に求められるような厳密性を実現する土台がなかった
（というよりもそういう土台の必要性をガウスは暗に主張してきた）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.046s