Gendai shisō, 第 35 巻、第 1~4 号Seidosha, 2007 |
この書籍内から
検索結果1-3 / 52
169 ページ
... 有限主義の根幹とするのが「意味が付与されるのは、具体的で有限な対象について語っている命題のみ」( Wang . 9 )という考え。ここから「[対象]数学における非有限的な推論は、それが有限的なメタ数学の言葉によって「解釈」ないし「正当化」されうる範囲 ...
... 有限主義の根幹とするのが「意味が付与されるのは、具体的で有限な対象について語っている命題のみ」( Wang . 9 )という考え。ここから「[対象]数学における非有限的な推論は、それが有限的なメタ数学の言葉によって「解釈」ないし「正当化」されうる範囲 ...
173 ページ
... 有限主義( bounded finitism )こそが彼の哲学的な立場なのである。有限主義としては他にも超(厳密)有限主義という立場がある( H )。それは、何らかの巨大な数(例えば 101010263533 )に( 1 から数えて)到達することは、原理的には可能だが、現実には実行 ...
... 有限主義( bounded finitism )こそが彼の哲学的な立場なのである。有限主義としては他にも超(厳密)有限主義という立場がある( H )。それは、何らかの巨大な数(例えば 101010263533 )に( 1 から数えて)到達することは、原理的には可能だが、現実には実行 ...
204 ページ
... 有限個の部分をもつ機械」の概念へと還元するテューリングの定義をゲーデルは歓迎したのである。しかし、そもそもなぜゲーデルは、形式系は有限的で機械的な手続きであると考えるのか。それは彼が「形式系」をやはりヒルベルトの基礎論プロジェクトの ...
... 有限個の部分をもつ機械」の概念へと還元するテューリングの定義をゲーデルは歓迎したのである。しかし、そもそもなぜゲーデルは、形式系は有限的で機械的な手続きであると考えるのか。それは彼が「形式系」をやはりヒルベルトの基礎論プロジェクトの ...
他の版 - すべて表示
多く使われている語句
あっ アメリカ あり あるいは いく ゲーデル こうした ここ さらに しまう スコーレム そう それは だが だけ たち だっ つの つまり てき できない できる でも という とか とき なかっ なっ など なら ならない なる において における によって による のか ヒルベルト フェミニズム べき ます また まで よい より られ られる れる ろう わけ 意味 宇宙 運動 概念 完全性定理 関係 韓国 議論 経済 研究 現在 現代 言う 言語 言葉 公理 構成 考え 国家 国民 思い 思想 自然数 自分 実際 社会 主義 集合論 順序数 証明 場合 人間 数学 数学基礎論 世界 政権 政治 戦後 戦争 選択公理 存在 体系 対し 対象 朝鮮 直観 定義 哲学 日本 批判 必要 文学 無矛盾性 命題 問題 有限 理論 冷戦 歴史 連続体仮説 労働 論理 論理学 笙野 笙野頼子