[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
22(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/01(土)12:54:21.69 ID:i+EantH6(1/13) AAS
所詮、James Douglas Boydは、数学者ではないってことだね （＾＾
2chｽﾚ:math
woit氏ブログ
abcコメント2025.10.27
Mochizuki’s response to Boyd’s report:
(Feel free to disregard this, as the response contains ad hominem attacks.)
外部ﾘﾝｸ:www.math.columbia.edu
Two Number Theory Items (and Woody Allen)
Posted on September 20, 2025 by woit
James Douglas Boyd has recently spent a lot of time interacting with Mochizuki and others at RIMS working in anabelian geometry. Material from interviews he conducted are available here (Mochizuki on IUT) and here (on anabelian geometry at RIMS). He also has written a summary of IUT and of the basic problem with the abc proof. These include detailed comments on the issue pointed out by Scholze-Stix and why this is a significant problem for the proof. I’d be curious to hear from anyone who has looked at this closely about whether they agree with Boyd’s characterization of the situation.
省14
200: 11/04(火)13:20:14.69 ID:S/r4ghN6(2/3) AAS
＞抑止力として核武装
核武装したら核戦争解禁
だれが抑止するかバカ
269: 11/05(水)14:11:40.69 ID:vZYtBEGo(3/3) AAS
誤 ”Finite-Order Arithmetic”＝「有限階論理」
正 ”Finite-Order Arithmetic”＝「有限階算術」
359: 11/06(木)12:49:07.69 ID:j8xkVDrd(5/12) AAS
>>329
「XがYを●●する」:=P(X,Y)、
「Xが誰であれ、それぞれ特定の誰かYがいて、XがYを●●するのは、YがYを●●するときそのときに限る」:=Q
と書くと、Q⇔(∀X∃Y(P(X,Y)⇔P(Y,Y)))。任意のXに対してY=Xが存在してP(X,X)⇔P(X,X)だからQは定理。
よって仮定¬Qから矛盾が導けるのは当然では？
>要するに、ラッセルパラドックスとは「一階述語論理における、基本的な定理の否定文」
（ラッセルパラドックス:=「{x|¬x∈x}は集合」と解釈すると）その言明は間違いではないが逆は言えないのでは？
553: 11/09(日)07:30:30.69 ID:CA6TFgJW(4/64) AAS
>>540
大学１年のコーシー列と線形独立の定義が分からず
1>0.999…とか、正方行列は正則行列とか、
初歩レベルの誤りをドヤ顔で語る素人カラス君
まあ、述語論理の∀と∃の読み方から頑張って勉強して、
（一階）述語論理恐怖症を克服してくれたまえ
681(1): 11/09(日)18:56:15.69 ID:P3lbYVWX(12/17) AAS
>>671
また話そらしますね
現実を見た方がいいでしょう
>redditが、数学界を代表しているとでも？
ここよりは真摯で
多くの数学者の意見にあっていますね
742(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/10(月)22:20:44.69 ID:Dp+ahlva(9/13) AAS
>>738
>代数学の基本定理のガウスの証明についてGrokに聞いたところ以下の回答を得た
Grokか・・。下記の劣化要約だろ？ｗ ；ｐ）
外部ﾘﾝｸ:en.wikipedia.org
Fundamental theorem of algebra
History
(抜粋)
The other one was published by Gauss in 1799 and it was mainly geometric, but it had a topological gap, only filled by Alexander Ostrowski in 1920, as discussed in Smale (1981).[6]
The first rigorous proof was published by Argand, an amateur mathematician, in 1806 (and revisited in 1813);[7] it was also here that, for the first time, the fundamental theorem of algebra was stated for polynomials with complex coefficients, rather than just real coefficients. Gauss produced two other proofs in 1816 and another incomplete version of his original proof in 1849.
The first textbook containing a proof of the theorem was Cauchy's Cours d'analyse de l'École Royale Polytechnique (1821). It contained Argand's proof, although Argand is not credited for it.
省3
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.716s*