Gendai shisō, 第 35 巻、第 1~4 号Seidosha, 2007 |
この書籍内から
検索結果1-3 / 58
138 ページ
... ゲーデルが「数学の基礎 foundations of mathematics 」について語るとき、念頭におかれているのは、ヒルベルトプログラムであって、数学についてのプラトニスト的な描像はまったく問題にもされていない。そして ... ゲーデルと直観主義総特集=ゲーデル.
... ゲーデルが「数学の基礎 foundations of mathematics 」について語るとき、念頭におかれているのは、ヒルベルトプログラムであって、数学についてのプラトニスト的な描像はまったく問題にもされていない。そして ... ゲーデルと直観主義総特集=ゲーデル.
155 ページ
... ゲーデルの算術化と言われる論理証明概念の数論上での翻訳が必要となり、この込み入った翻訳理論を経ないで不完全性定理を ... ゲーデル文はその数論的方程式の否定形として表現される。マしかしゲーデル文の構成はコード化の仕方に依存しているため ...
... ゲーデルの算術化と言われる論理証明概念の数論上での翻訳が必要となり、この込み入った翻訳理論を経ないで不完全性定理を ... ゲーデル文はその数論的方程式の否定形として表現される。マしかしゲーデル文の構成はコード化の仕方に依存しているため ...
206 ページ
... ゲーデルは、プリンストン講義の後記において、それは「機械的な手続き」と解されるべきと書く。この但し書きが意味するものについては後述。( 1 )強調は引用者。三一年論文が van Heijenoort 1967 に再録されるにあたってゲーデルが付した後記にたいする ...
... ゲーデルは、プリンストン講義の後記において、それは「機械的な手続き」と解されるべきと書く。この但し書きが意味するものについては後述。( 1 )強調は引用者。三一年論文が van Heijenoort 1967 に再録されるにあたってゲーデルが付した後記にたいする ...
他の版 - すべて表示
多く使われている語句
あっ アメリカ あり あるいは いく ゲーデル こうした ここ さらに しまう スコーレム そう それは だが だけ たち だっ つの つまり てき できない できる でも という とか とき なかっ なっ など なら ならない なる において における によって による のか ヒルベルト フェミニズム べき ます また まで よい より られ られる れる ろう わけ 意味 宇宙 運動 概念 完全性定理 関係 韓国 議論 経済 研究 現在 現代 言う 言語 言葉 公理 構成 考え 国家 国民 思い 思想 自然数 自分 実際 社会 主義 集合論 順序数 証明 場合 人間 数学 数学基礎論 世界 政権 政治 戦後 戦争 選択公理 存在 体系 対し 対象 朝鮮 直観 定義 哲学 日本 批判 必要 文学 無矛盾性 命題 問題 有限 理論 冷戦 歴史 連続体仮説 労働 論理 論理学 笙野 笙野頼子