Inter-universal geom ..
336:132人目の素数さん
22/11/13 18:13:36.15 RrLhcCFe.net
>>321
それも後付けの話
望月サイドがcoqやlean、或いは計算論と整合する形式化を出せなかったから
言えるわけで
全く新しい理論が正しそうで、かつ新しい基礎付けでどうにかなりそうで、
かつそれから形式化できると目処が立つといった流れもありえなくはない
IUTは違ったというだけの話
次ページ続きを表示1を表示最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
516日前に更新/300 KB
担当:undef