定理の証明は一つしかないのかat MATH定理の証明は一つしかないのか - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト1:１３２人目の素数さん 26/02/08 15:00:46.04 AftplHUJ.net 複数の証明があったら、どちらかは遠回りをしていたり同じことを言い換えたりしているだけなのか、それとも本質的に異なる証明なのか 2:１３２人目の素数さん 26/02/08 15:26:27.03 GvGEPq9G.net ピタゴラスの定理は本質的に異なる証明法がある 3:１３２人目の素数さん 26/02/08 15:38:43.22 GvGEPq9G.net 証明の同一性の定義をどうするかが問題となるだろう 4:１３２人目の素数さん 26/02/08 17:02:10.75 qX+e6zyU.net また糞スレ 5:１３２人目の素数さん 26/02/08 18:33:24.15 F7giqTmi.net 最適化したときに同じ証明になるかどうかじゃないか 6:１３２人目の素数さん 26/02/08 18:35:50.27 1tAgzUSy.net 具体的構成による証明は、構成の仕方が異なったら本質的に異なるだろ 7:１３２人目の素数さん 26/02/08 18:57:48.42 N57St0mH.net 沙羅双樹 8:１３２人目の素数さん 26/02/08 21:41:19.99 pTIb3MQT.net 公理系Aの下で、二つの証明P1とP2があって、 公理系Aの公理のうちの一つの公理A1は 証明P1の中では使われているが、 証明P2の中では使われていない というようなことがあったとすれば、 P1よりもP2の方が優れたあるいは 本質的な証明だと言えるのではない だろうか。でもそういうことが実際に 起こることがあるのだろうか？ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch