Inter-universal geometry と ABC予想 (応援スレ) 77at MATHInter-universal geometry と ABC予想 (応援スレ) 77 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト500:現代数学の系譜 雑談 25/11/08 11:30:08.51 P9qVEF++.net >>499 補足 https://www.mathsoc.jp/publication/tushin/1004/sakai.pdf 2005年秋の日本数学会市民講演会： “直線” と幾何学一真っ直ぐなものと曲がったもの一 酒井隆（岡山理科大学理学部）2005/09/18 P5 多くの証明が考え られるのは数学の特徴ですが，逆に「証明」とは論理だけではなく，なぜそれが成り立つ かを成程と納得させ確信させる説明といってよいでしょう (引用終り) これは、至言です！ 覚えておきましょう！！ （＾＾ 501:１３２人目の素数さん 25/11/08 11:46:34.11 ZuSEB9pS.net >>496 まーたセタがしったかしてアホなこと言っとる >>矛盾した理論はいかなる命題も証明できてしまうからまったくのナンセンス >そうだね >もし ”人が 純粋な述語論理のみで思考するならば・・”だが 述語論理に限らん。命題論理でも同じだ。 >具体的には、下記の 自己言及のパラドックス：嘘つきのパラドックス >これが、古代から エピメニデスのパラドックス（紀元前600年ごろ）として知られていたらしい >そして、集合論における ラッセルのパラドックス に 繋がっている >だが、古代から近世において >人は このような 自己言及のパラドックスを排除できる あるいは 排除すべきことを 知っていたのだろう >実際、古代ギリシャのユークリッド原論は 論理破綻など してない！ｗｗ ；ｐ） ナンセンス。 理論が矛盾していることを証明するには、その理論内で任意の文PについてP∧￢Pを証明すればよい。内包公理を持つ素朴集合論が矛盾していることもそうして証明される。 逆に理論が無矛盾ならそのことをその理論内では証明できない。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch