Interuniversal geometry とABC 予想61 
 (430ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

264(4): 07/19(日)17:56 ID:/DrSmv+b(2/2) AAS
LANAが形式化に失敗した理由は、はっきり言って、
理解者以外の人がやってるからじゃねーか？
だってIUTグループ内ではLean code（非公開）が
すごく役立ってるらしいっすよ
外部ﾘﾝｸ:aitpm.github.io
>The skeletal Lean code that we wrote for this portion of IUT
>constituted a remarkably successful case of the use of Lean
>as a communication tool.

あれだよ、あれ
零と交信できるとか透視できるとか主張する人によくあるやつ
省6

---

267: 07/19(日)18:03 ID:dIige2Ai(2/12) AAS
>>264
気の所為です
だって8年前のss論文の指摘通りだったんだから
コミュニケーションツールとして役立って数学的な理解が深まったわけじゃない

数学的直感だけに頼った間違いを追求する拷問道具として役立っただけだ
間違いを論理的に詰められることは数学者にとって拷問なんですよ

---

283(1): 07/19(日)19:36 ID:tZJSVLSb(6/9) AAS
>>264
星氏は理解者じゃないと？

---

284: 07/19(日)19:41 ID:tZJSVLSb(7/9) AAS
>>264
>すごく役立ってるらしいっすよ
コミュニケーションツールとしてな　検証ツールとしてとは書かれてない

---

287: 07/19(日)19:45 ID:S1PMNEss(9/9) AAS
>>264
gtrおじさんのダブスタ出ましたーー

---

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

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.653s*