ガロア第一論文と乗数イデアル他関連資料スレ18at MATHガロア第一論文と乗数イデアル他関連資料スレ18 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト884:１３２人目の素数さん 26/04/12 09:50:48.20 xz5A0WUe.net >>881-883 AIに、数理論理学の立場から見て、 オイラーの定数γが無理数であると仮定して矛盾を導き 背理法によりγは有理数であることと結論付ける証明法に 何か問題はあるかと聞いたが、 古典論理学の範囲では問題がないが、 直観主義の論理では二重否定による背理法が使えず γの具体的な値が有理数であることを示すには 直接γが有理数であることを示さないと γの有理性は証明したことにならないということ、 及び、数理論理の立場から見ると具体的な値が分からずに γの有理性が証明されたことの奇妙は問題として残る ということだそうだ オイラーの定数γが無理数であると仮定して矛盾を導き やはり、背理法によりγは有理数であることと結論付ける証明法は、通常問題がない証明法だ オイラーの定数γの有理性は証明した ただそれだけ 885:１３２人目の素数さん 26/04/12 09:56:56.08 xz5A0WUe.net >>884の下から2から4行目までの訂正： オイラーの定数γが無理数であると仮定して矛盾を導き やはり、背理法によりγは有理数であることと 結論付ける証明法は、通常問題がない証明法だ → やはり、オイラーの定数γが無理数であると仮定して矛盾を導き 背理法によりγは有理数であることと結論付ける 証明法は、通常問題がない証明法だ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch