- Inter-universal geometry と ABC予想 36
289 ：１３２人目の素数さん[sage]：2019/01/12(土) 13:53:15.79 ID:9kMEe8qw - >>287
基礎論によって理論つまり証明表現の幅が広がることは十分ありえるんだが
圏論も集合論も基礎論的な拡張じゃないか
どうしようもないな文句ばかり言って。他人に絡んで不愉快にさせる才能はあるようだが…
| - Inter-universal geometry と ABC予想 36
290 ：１３２人目の素数さん[sage]：2019/01/12(土) 13:56:01.11 ID:9kMEe8qw - モデル理論もまさにディオファントス幾何学に応用されたりしている
強力な一般化の手法により大幅に込み入った証明を短縮できるケースがある
しかしいちいち絡むのはやめてほしいな。勝手に自己完結してくれよ
|
|