Gendai shisō, 第 35 巻、第 1~4 号Seidosha, 2007 |
この書籍内から
検索結果1-3 / 38
61 ページ
... ヒルベルトのプログラムが何だったのかということですが、ゲーデル自身も不完全性定理を証明した後で、ヒルベルトのプログラムが何かということを詳細に検討しているわけですね。その中でゲーデルが発見したというか、強調したのは、相対無矛盾性の考え方 ...
... ヒルベルトのプログラムが何だったのかということですが、ゲーデル自身も不完全性定理を証明した後で、ヒルベルトのプログラムが何かということを詳細に検討しているわけですね。その中でゲーデルが発見したというか、強調したのは、相対無矛盾性の考え方 ...
64 ページ
... ヒルベルト・プログラムに到る以前の、彼の早い時期の基礎論上の仕事、例えば「幾何学基礎論』などを参照することもできるで田中そうだと思います。無矛盾性の話でも、ヒルベルトの幾何学のところでは、ユークリッド幾何の無矛盾性と言いますか、その ...
... ヒルベルト・プログラムに到る以前の、彼の早い時期の基礎論上の仕事、例えば「幾何学基礎論』などを参照することもできるで田中そうだと思います。無矛盾性の話でも、ヒルベルトの幾何学のところでは、ユークリッド幾何の無矛盾性と言いますか、その ...
211 ページ
... ヒルベルトの決定問題と数学の機械化可能性ヒルベルトの決定問題の否定的解決により、数学の機械化の可能性はなくなった、というのが定説である。すなわち、 SF に登場するような万能コンピュータ―――それはどんな数学的問いにもイエスかノーかの答えを ...
... ヒルベルトの決定問題と数学の機械化可能性ヒルベルトの決定問題の否定的解決により、数学の機械化の可能性はなくなった、というのが定説である。すなわち、 SF に登場するような万能コンピュータ―――それはどんな数学的問いにもイエスかノーかの答えを ...
他の版 - すべて表示
多く使われている語句
あっ アメリカ あり あるいは いく ゲーデル こうした ここ さらに しまう スコーレム そう それは だが だけ たち だっ つの つまり てき できない できる でも という とか とき なかっ なっ など なら ならない なる において における によって による のか ヒルベルト フェミニズム べき ます また まで よい より られ られる れる ろう わけ 意味 宇宙 運動 概念 完全性定理 関係 韓国 議論 経済 研究 現在 現代 言う 言語 言葉 公理 構成 考え 国家 国民 思い 思想 自然数 自分 実際 社会 主義 集合論 順序数 証明 場合 人間 数学 数学基礎論 世界 政権 政治 戦後 戦争 選択公理 存在 体系 対し 対象 朝鮮 直観 定義 哲学 日本 批判 必要 文学 無矛盾性 命題 問題 有限 理論 冷戦 歴史 連続体仮説 労働 論理 論理学 笙野 笙野頼子