[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 39 (1002ﾚｽ)
上下前次1-新

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

840(1): 2019/06/29(土)20:46 ID:eM2nthZQ(7/8) AAS
>>833
このことについては以前にバザードが、IUTについてはまだまだだと、否定的見解をコメントしていましたね
ヴォイトのブログの“Latest on abc”のコメント欄（このブログはコメントが多いと1ページには収まらないんですね）
外部ﾘﾝｸ:www.math.columbia.edu

バザードのコメント(Kevin Buzzard says:December 18, 2017 at 7:02 am )から一部引用
-----------------
Humans have not yet finished the pre-formalisation part of Mochizuki’s work.
The papers contain claims which many members of the number theory regard as being unclear.
A team of computer scientists cannot work with a document which contains assertions
for which the only way to unravel them is to ask a small group of people who claim to understand the proof,
especially if the response is that the computer scientists should just go away and do 300 hours of training.
Because the pre-formalisation is not yet finished, the formalisation can not yet begin,
and until the pre-formalisation is finished I think it would be very unwise to speculate about the length of a possible future formalisation project.
-----------------

---

上下前次1-新書関写板覧索設栞歴

---

あと 162 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.009s