コンピューターによる定理の自動証明at MATHコンピューターによる定理の自動証明 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト250:１３２人目の素数さん 06/01/14 21:18:32 >>247 数学的に価値のある体系自体の数え上げが可能ということですか？ そうなると本当に、数学者要らないですね。”独創的”なんていう概念も意味がないことになるし、・・・ 251:１３２人目の素数さん 06/01/14 21:23:30 >>つづき 体系そのものをコーディングして（何らかの数を対応ずけて） 数学的に価値ありという概念を式で表して、（これは矛盾しなければ価値ありとしていいのかどうかは良く分からないけど・・・） その様な数の全体が計算可能かどうかを考えればいいのかな・・・ ・・・まあ、どっちの結果にしろ自明じゃないことは分かるわｗ 252:１３２人目の素数さん 06/01/14 21:26:34 飛行機あるから電車は要らないですね 253:１３２人目の素数さん 06/01/15 16:51:59 有用な定理はこうやって作ると示したとたんに有用ではなくなる不思議。 254:１３２人目の素数さん 06/01/16 10:58:00 『自動証明』の研究では、今、 何が目的ですか？ 詳しい人、いらっしゃいましたら、 ご回答願います。 私が少し興味を引かれる問題は、 公理系や取り扱う論理式の全体に、 どのような制約を設ければ、 任意に与えられた論理式が証明可能か 不可能かを機械的に判定できる アルゴリズムを作れるか？ という問題です。 （興味のない人、ごめんなさいね～） 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch