Inter-universal geometry と ABC予想 (応援スレ) 61at MATH
Inter-universal geometry と ABC予想 (応援スレ) 61
- 暇つぶし2ch959:132人目の素数さん
21/12/07 20:06:28.00 vZMpC9Ch.net
>>911
しかし数学界では
「証明出来ること=coqで記述出来ること」
この現代基礎論の結果に異議を唱える数学者はいない
coqで記述できないならそれは数学の証明ではない何か
次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch