[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 71 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
13(1): 2024/04/20(土)18:31 ID:b3gJjkjy(1/2) AAS
>>10
>そもそも 天動説 vs 地動説 のような不毛な議論が科学の世界で繰り返される事がないよう20世紀前半に基礎論が整備された
違う
素朴集合論において生じるラッセルのパラドックスを解消するためだよ（下記）
根本から、間違った発言だよ、基礎論くん ；ｐ）
外部ﾘﾝｸ:ja.wikipedia.org
ラッセルのパラドックス（英: Russell's paradox）とは、素朴集合論において、自身を要素として持たない集合全体からなる集合の存在を認めると矛盾が導かれるというパラドックス。バートランド・ラッセルからゴットロープ・フレーゲへの1902年6月16日付けの書簡においてフレーゲの『算術の基本法則』における矛盾を指摘する記述に現れ[1]、1903年出版のフレーゲの『算術の基本法則』第II巻（独: Grundgesetze der Arithmetik II）の後書きに収録された[2]。なお、ラッセルに先立ってツェルメロも同じパラドックスを発見しており、ヒルベルトやフッサールなどゲッティンゲン大学の同僚に伝えた記録が残っている[3][4]。
ラッセルの型理論（階型理論）の目的のひとつは、このパラドックスを解消することにあった[5]。
矛盾の解消
公理的集合論によって何をもって集合とするかについての形式的な整備が進められ、素朴（だが超越的）な R の構成を許容しない体系が構築された。
1.公理的集合論による解消[注 1]
具体的には内包公理を次の分出公理に弱める（ツェルメロによる版）。
2.単純型理論による解消[注 2]
3.部分構造論理による解消[注 3]
古典論理を（グリシン論理やBCK論理などの）縮約規則を取り除いた部分構造論理に置き換え、無制限な内包公理を認める代わりに外延性公理を排除した素朴集合論が矛盾無く展開できることが知られている[注 4]。
上下前次1-新書関写板覧索設栞歴
あと 989 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.008s