コンピューターによる定理の自動証明at MATHコンピューターによる定理の自動証明 - 暇つぶし2ch320:１３２人目の素数さん 07/06/25 00:28:07 ＞証明可能かどうか、数学自体の無矛盾の判定 ほとんどの数学理論では、無理。 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch