Gendai shisō, 第 35 巻、第 1~4 号Seidosha, 2007 |
この書籍内から
検索結果1-3 / 15
108 ページ
... 連続体仮説の否定の相対的無矛盾性を証明したのだった。しかも、彼は、連続体濃度が、それまでに連続体濃度の性質として知られていた、非可算で、可算な共終数を持ちえない、という制限を除くと、何にでもなり得ることも示している。ゲーデルの L による ...
... 連続体仮説の否定の相対的無矛盾性を証明したのだった。しかも、彼は、連続体濃度が、それまでに連続体濃度の性質として知られていた、非可算で、可算な共終数を持ちえない、という制限を除くと、何にでもなり得ることも示している。ゲーデルの L による ...
122 ページ
... 連続体仮説を付け加えても矛盾しないということは、ゲーデル自身によってすでに一九三八年の段階で示されていた。証明不可能性の方(集合論の公理系が無矛盾なら、それに連続体仮説の否定を付け加えても無矛盾であること)は、一九六三年にポール・コエン ...
... 連続体仮説を付け加えても矛盾しないということは、ゲーデル自身によってすでに一九三八年の段階で示されていた。証明不可能性の方(集合論の公理系が無矛盾なら、それに連続体仮説の否定を付け加えても無矛盾であること)は、一九六三年にポール・コエン ...
123 ページ
さて、連続体仮説が決定不能だとするとどういうことになるだろうか。集合論の現行の公理系が無矛盾なら、それに連続体仮説を付け加えても、その否定を付け加えても無矛盾である。ということは、連続体仮説を新しい公理として付け加えた公理系と、連続体仮説 ...
さて、連続体仮説が決定不能だとするとどういうことになるだろうか。集合論の現行の公理系が無矛盾なら、それに連続体仮説を付け加えても、その否定を付け加えても無矛盾である。ということは、連続体仮説を新しい公理として付け加えた公理系と、連続体仮説 ...
他の版 - すべて表示
多く使われている語句
あっ アメリカ あり あるいは いく ゲーデル こうした ここ さらに しまう スコーレム そう それは だが だけ たち だっ つの つまり てき できない できる でも という とか とき なかっ なっ など なら ならない なる において における によって による のか ヒルベルト フェミニズム べき ます また まで よい より られ られる れる ろう わけ 意味 宇宙 運動 概念 完全性定理 関係 韓国 議論 経済 研究 現在 現代 言う 言語 言葉 公理 構成 考え 国家 国民 思い 思想 自然数 自分 実際 社会 主義 集合論 順序数 証明 場合 人間 数学 数学基礎論 世界 政権 政治 戦後 戦争 選択公理 存在 体系 対し 対象 朝鮮 直観 定義 哲学 日本 批判 必要 文学 無矛盾性 命題 問題 有限 理論 冷戦 歴史 連続体仮説 労働 論理 論理学 笙野 笙野頼子