Inter-universal geometry と ABC予想 (応援スレ) 80

Inter-universal geometry と ABC予想 (応援スレ) 80at MATH

Inter-universal geometry と ABC予想 (応援スレ) 80 - 暇つぶし2ch229:１３２人目の素数さん
25/12/21 20:01:33.04 QKKEOyaG.net
>>221
＞今年のノーベル賞ダブル受賞を喜ぶ日本人は多いだろう

●違いの妄想

＞「コンピューター証明で形式化できるほど曖昧さなく記述されているなら、
＞　数学者は皆その論文が読める」
＞が成立するならば、コンピューター証明なぞ必要性は薄いな

逆は真ではないので、コンピュータ証明があっても悪くない

次ページ

続きを表示

1を表示