[過去ﾛｸﾞ] Interuniversal geometry とABC 予想59
(1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
545(1): 01/03(土)18:08 ID:yhrqT/dl(1) AAS
ブログ読んだけどさ、これ、Lean専門家側と早晩喧嘩別れするようにしか思えないんだが
548(2): 01/03(土)19:45 ID:SDpLrOtz(1/2) AAS
>>545
昨年のBoyd氏絶賛ブログ記事の結末があれだからねえ
今年も「Leanの専門家」やら「基礎論の専門家」やらが
脳内シアターに登場して都合のいいこと言ってくれてるけど
「不定元のような論理式」が「一階述語理論としてのZFC」で
形式化可能なんて言う専門家はおらんだろ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.923s*