Gendai shisō, 第 35 巻、第 1~4 号Seidosha, 2007 |
この書籍内から
検索結果1-3 / 61
81 ページ
1 0240 性定理不完全性定理高階述語論理による、自然数論しい」ことは言えるのであろうが、それは第二不完全性定理だけからの論理的帰結ではない。ゲーデルは体系の外で「無矛盾なら不完全」ということを証明したが、その証明には体系の中の証明に直訳 ...
1 0240 性定理不完全性定理高階述語論理による、自然数論しい」ことは言えるのであろうが、それは第二不完全性定理だけからの論理的帰結ではない。ゲーデルは体系の外で「無矛盾なら不完全」ということを証明したが、その証明には体系の中の証明に直訳 ...
150 ページ
... 完全に」捉え得ると確信していた。これをフッサールは公理系の「完全性」、対象領域の「確定性」という言葉で表現した( 2 )。ヒルベルトやフッサールを始めとした言語の記述力の完全性への信頼はルルスやデカルトやライプニッツの普遍記号学 ... 完全性定理) (
... 完全に」捉え得ると確信していた。これをフッサールは公理系の「完全性」、対象領域の「確定性」という言葉で表現した( 2 )。ヒルベルトやフッサールを始めとした言語の記述力の完全性への信頼はルルスやデカルトやライプニッツの普遍記号学 ... 完全性定理) (
155 ページ
視覚化可能なゲーデルの不完全性定理不完全性定理の厳密な数学的表現にはゲーデルの算術化と言われる論理証明概念の数論上での翻訳が必要となり、この込み入った翻訳理論を経ないで不完全性定理を表現してしまうと非常に大雑把なものになってしまう。不 ...
視覚化可能なゲーデルの不完全性定理不完全性定理の厳密な数学的表現にはゲーデルの算術化と言われる論理証明概念の数論上での翻訳が必要となり、この込み入った翻訳理論を経ないで不完全性定理を表現してしまうと非常に大雑把なものになってしまう。不 ...
他の版 - すべて表示
多く使われている語句
あっ アメリカ あり あるいは いく ゲーデル こうした ここ さらに しまう スコーレム そう それは だが だけ たち だっ つの つまり てき できない できる でも という とか とき なかっ なっ など なら ならない なる において における によって による のか ヒルベルト フェミニズム べき ます また まで よい より られ られる れる ろう わけ 意味 宇宙 運動 概念 完全性定理 関係 韓国 議論 経済 研究 現在 現代 言う 言語 言葉 公理 構成 考え 国家 国民 思い 思想 自然数 自分 実際 社会 主義 集合論 順序数 証明 場合 人間 数学 数学基礎論 世界 政権 政治 戦後 戦争 選択公理 存在 体系 対し 対象 朝鮮 直観 定義 哲学 日本 批判 必要 文学 無矛盾性 命題 問題 有限 理論 冷戦 歴史 連続体仮説 労働 論理 論理学 笙野 笙野頼子