[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 36 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
289(1): 2019/01/12(土)13:53 ID:9kMEe8qw(1/2) AAS
>>287
基礎論によって理論つまり証明表現の幅が広がることは十分ありえるんだが
圏論も集合論も基礎論的な拡張じゃないか
どうしようもないな文句ばかり言って。他人に絡んで不愉快にさせる才能はあるようだが…
290(3): 2019/01/12(土)13:56 ID:9kMEe8qw(2/2) AAS
モデル理論もまさにディオファントス幾何学に応用されたりしている
強力な一般化の手法により大幅に込み入った証明を短縮できるケースがある
しかしいちいち絡むのはやめてほしいな。勝手に自己完結してくれよ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s