Inter-universal geometryとABC予想(シン応援スレ) 92

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

Inter-universal geometryとABC予想(シン応援スレ) 92 - 暇つぶし2ch564:１３２人目の素数さん
26/07/27 01:59:51.43 sKVJthfH.net
>>555
Coqでもやろうと思えば出来たよ
Isabelleでもな
そんなややこしい数学じゃないから
問題はこういう一般的な数学の第一線ではかなり大雑把な表現が使われてること
対象の型について言及もほとんどなく誤ってるケースさえある

次ページ