23/08/19 15:29:43.40 xCACjuUu.net
事実を確認しよう
ファクト１）：SCHOLZE氏は、”radical simplifications”使っている。これでは、厳密な数学の論証になっていない
（例えば、下記Will Sawin氏が”It is not possible to falsify a mathematical claim by introducing a new definition for terms used in the claim so that, under the new definition, the claim is false. ”と書いている通り）
URLﾘﾝｸ(ncatlab.org)
Why abc is still a conjecture
PETER SCHOLZE AND JAKOB STIX Date: August 23, 2018.
2. Hodge theaters and Frobenioid prime strips
2.1. Glossary: IUTT-terminology and how we may think of these objects.
The IUTT papers introduce a large amount of terminology. To facilitate the discussion, we will describe(only) the notions that are strictly relevant to explain what we regard as the error. This will involve certain radical simplifications, and it might be argued that such simplifications strip away all the interesting mathematics that forms the core of Mochizuki’s proof.
URLﾘﾝｸ(www.math.columbia.edu)
Not Even Wrong
Million Dollar Prize for Scholze and Stix
Posted on July 7, 2023 by woit
Will Sawin says:
July 25, 2023 at 11:22 am
@Kirti Joshi
It is not possible to falsify a mathematical claim by introducing a new definition for terms used in the claim so that, under the new definition, the claim is false.
つづく