[過去ﾛｸﾞ] Interuniversal geometry とABC 予想59
(1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
548(2): 01/03(土)19:45 ID:SDpLrOtz(1/2) AAS
>>545
昨年のBoyd氏絶賛ブログ記事の結末があれだからねえ
今年も「Leanの専門家」やら「基礎論の専門家」やらが
脳内シアターに登場して都合のいいこと言ってくれてるけど
「不定元のような論理式」が「一階述語理論としてのZFC」で
形式化可能なんて言う専門家はおらんだろ
551(1): 01/03(土)20:12 ID:q6NZzniB(4/4) AAS
>>548 ショルツが悪い、謝るべきだと激昂する学部長だとか、去年から妄想癖が一段酷くなったよなぁ、尊師
569(2): 01/04(日)09:13 ID:t7mFxGOO(1/2) AAS
>>548
年頭ブログ記事の内容を私なりに要約してみると
iutでは
(1) species/mutationの理論をメタ理論として
「一階述語理論としてのZFC」を扱えば
「不定元のような論理式」を扱うことができる
(2) それをleanで形式化してほしい
ってことでしょうか
(2)の動機はもちろん(1)に対する疑義を否定するためです
(1)のような理論は（現時点で）存在しません
省15
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s