[過去ﾛｸﾞ] Inter-universal geometry とABC 予想48 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
676(3): 2022/04/15(金)20:26 ID:/9I79BB9(1) AAS
望月氏は自分の数学が形式化できないものであることは理解してるんじゃないかな
（つまり標準的な数学者にとって氏の数学はアイディアの表現にすぎない）
ブログ等で以前から、自分の数学は19世紀の数学の継承であるとか、
人間の手に負える長さで形式化できるものは有限だけど数学は無限だとか、
形式化による機械検証を行ってもどうせ信用されないとか、
そういった類のことを言ってきてるから
678: 2022/04/15(金)20:33 AAS
>>676
形式化できないんじゃ数学じゃないな 非数学
自分の無能を隠蔽するためにわけわからんこといってるだけ
モッチーは正真正銘の●違いだな 統合失調症か？
680: 2022/04/15(金)21:15 ID:Em/4TZAW(10/17) AAS
>>676
毎日毎日同じ繰言を繰り返す暇があるなら
Yamagata University理学部旧物質生命化学研究室で
定理証明系に証明をポーティングして結果を示せばいいのに何で結果が出てこないんだよw
Yamagata University底辺准教は無能だから
定理証明系のための証明の移植もできないのに
可能だ簡単だやらないのがおかしいと毎日毎日繰り言を書くのは理系学問ではなく、mental diseaseの症状だよ
710: 2022/04/16(土)13:24 ID:gM/QGsqV(1) AAS
>>676
もっちーはショルツとの論争の中で「若い人」への助けを求めていたよｗ
つまりもっちーは一度は自分でも証明が不備であることを認めざるを得ないところまで行ったんだよ
ただＲＩＭＳや愛国応援団にはげまされて、開き直るという道をえらんだだけ。
要するに権威者に甘く、愛国と言えばすべてが無罪になる日本の数学界の未熟さがあらわになってるだけのこと。
今回のＮＨＫももっちーに甘々だし。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s