コンピューターによる定理の自動証明at MATHコンピューターによる定理の自動証明 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト200:１３２人目の素数さん 05/12/23 09:42:04 >>198 意味が分からん 理論屋さんでも同じ環境で違う結果が出るのを認めるのは量子論くらいじゃないかな 201:１３２人目の素数さん 05/12/23 11:44:31 >>199 皮肉なのかマジなのかわからん。 計算可能な実数と不可能な実数があって、ルート２は計算可能だそうだ。 いずれにしてもこのスレの本筋からずれている話だとは思うが。 202:１３２人目の素数さん 05/12/23 11:48:15 計算不可能な実数についての議論でさえ、 論理的な議論なら、記号論理に乗せられて、 コンピュータに乗せられるだろう。 203:１３２人目の素数さん 05/12/23 13:20:34 ＞計算可能な実数と不可能な実数 計算可能ってどういう定義？ そういえば計算可能解析学とかあったね かなりマイナーな分野だけど鴨さんとかそっち系の分野だったはず 204:１３２人目の素数さん 05/12/23 22:28:15 ＞計算可能な実数 コーシー列の中でアルゴリズムが定義可能なものの集合、 なんちゃってそんな安直なモノのわけないね（＾＾） でもいかにも数学界から相手にされない分野という感じだね。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch