アカウント名:
パスワード:
人生を数学に費やしている数学者ですら、専門以外の数学はわからんで、結果ある証明を理解している人は世界でもわずか数名、なんてことになったりする。証明の誤りが珍しいことではないと思えば、数名の検証だって信頼できないわけで、もはや「証明」の域に達しているのか
定理証明器の原理と実装さえ何とか理解すれば、あらゆる定理証明が正しいことを、誰でも自信を持って宣言できる時代になったらいいな
数学者は失業を喜ぶのかはたまた他業種の皆さんのようにネオ・ラッダイトに走るのか
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
ソースを見ろ -- ある4桁UID
はよ完璧な定理自動証明が実現して欲しい (スコア:0)
人生を数学に費やしている数学者ですら、専門以外の数学はわからんで、結果ある証明を理解している人は世界でもわずか数名、なんてことになったりする。
証明の誤りが珍しいことではないと思えば、数名の検証だって信頼できないわけで、もはや「証明」の域に達しているのか
定理証明器の原理と実装さえ何とか理解すれば、あらゆる定理証明が正しいことを、誰でも自信を持って宣言できる時代になったらいいな
Re:はよ完璧な定理自動証明が実現して欲しい (スコア:0)
数学者は失業を喜ぶのかはたまた他業種の皆さんのようにネオ・ラッダイトに走るのか