数学基礎論・数理論理学のスレッド その7at MATH数学基礎論・数理論理学のスレッド その7 - 暇つぶし2ch32:１３２人目の素数さん 10/11/13 16:34:39 >>25 一般的には具体的な計算が困難（実際的には不可能）だから非構成的な証明が考案されるわけでしょ。 ゴルダンに戻るわけ？ 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch