アカウント名:
パスワード:
人生を数学に費やしている数学者ですら、専門以外の数学はわからんで、結果ある証明を理解している人は世界でもわずか数名、なんてことになったりする。証明の誤りが珍しいことではないと思えば、数名の検証だって信頼できないわけで、もはや「証明」の域に達しているのか
定理証明器の原理と実装さえ何とか理解すれば、あらゆる定理証明が正しいことを、誰でも自信を持って宣言できる時代になったらいいな
定理証明機は論理が正しいことを保証してくれるだけで、何を証明しているかまでは保証しないのよ。2ちゃんねるの数学スレッドで、議論の前提となる定義が正しく構成されているかどうかで荒れているのを見たことがある。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
ハッカーとクラッカーの違い。大してないと思います -- あるアレゲ
はよ完璧な定理自動証明が実現して欲しい (スコア:0)
人生を数学に費やしている数学者ですら、専門以外の数学はわからんで、結果ある証明を理解している人は世界でもわずか数名、なんてことになったりする。
証明の誤りが珍しいことではないと思えば、数名の検証だって信頼できないわけで、もはや「証明」の域に達しているのか
定理証明器の原理と実装さえ何とか理解すれば、あらゆる定理証明が正しいことを、誰でも自信を持って宣言できる時代になったらいいな
Re:はよ完璧な定理自動証明が実現して欲しい (スコア:0)
定理証明機は論理が正しいことを保証してくれるだけで、何を証明しているかまでは保証しないのよ。
2ちゃんねるの数学スレッドで、議論の前提となる定義が正しく構成されているかどうかで荒れているのを見たことがある。