[過去ログ]
Inter-universal geometry と ABC予想 否定派 (1002レス)
上
下
前
次
1-
新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
18
:
5ch反IUT論装戦線 ◆y7fKJ8VsjM
2020/04/22(水)07:05
ID:gQCe02i1(3/80)
AA×
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
レス栞
|
レス消
]
18: 5ch反IUT論装戦線 ◆y7fKJ8VsjM [] 2020/04/22(水) 07:05:23 ID:gQCe02i1 ヴォエヴォドスキーが、コンピュータによる証明検証を推進した動機は、 自身が過去に犯した間違いの経験と思われる。 彼亡き後、ホモトピー型理論はどうなったんだろうか? http://rio2016.5ch.net/test/read.cgi/math/1587361264/18
ヴォエヴォドスキーがコンピュータによる証明検証を推進した動機は 自身が過去に犯した間違いの経験と思われる 彼亡き後ホモトピー型理論はどうなったんだろうか?
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 984 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
ぬこの手
ぬこTOP
0.013s