数学基礎論「数学を使って数学の基礎を作ります」←循環論法じゃんat MATH数学基礎論「数学を使って数学の基礎を作ります」←循環論法じゃん - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト3:１３２人目の素数さん 23/04/19 16:08:59.60 Hpcx5FMV.net だろ？ 4:１３２人目の素数さん 23/04/22 19:33:54.17 CLC/k5U7.net あげ 5:１３２人目の素数さん 23/04/23 03:05:15.47 /9jlOgI6.net 数学の基礎って証明に使う論理のことだよ 証明を自然言語じゃなくて形式言語でやろうってだけのこと 6:１３２人目の素数さん 23/04/23 11:19:04.97 pK3wcj0B.net >>5 集合論を作るのに集合論を使っちゃだめだよね 7:１３２人目の素数さん 23/04/23 12:48:30.73 vQt++v7F.net 数学というか、論理学で数学の無矛盾性を示すってヤツだから問題ないのでは？ 8:１３２人目の素数さん 23/04/23 15:28:01.86 IMy75SCR.net >>7 数学の無矛盾性は示せないってゲーデルおじさんが証明しただろ？ 9:１３２人目の素数さん 23/04/24 18:57:26.96 aqWjrT8O.net >>6 真理値割当てのために構成する関数や集合も集合論の言語から構成するんだから、定義が循環するわけではなくない？ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch