22/05/02 15:58:59 FZqKN80Z.net
物理学の予想なら、観測や実験で実証して、「ほらこのとおり」。
数学の予想が、実証できる何らかの現象とつながりがあるなら、
数学の証明を実証的に「正しさ」を保証、といえるのかねぇ。
四色問題の既存の証明も、あれはほぼ「実証」だろうよ。
22/05/02 15:58:59 FZqKN80Z.net
物理学の予想なら、観測や実験で実証して、「ほらこのとおり」。
数学の予想が、実証できる何らかの現象とつながりがあるなら、
数学の証明を実証的に「正しさ」を保証、といえるのかねぇ。
四色問題の既存の証明も、あれはほぼ「実証」だろうよ。