Gendai shisō, 第 35 巻、第 1~4 号Seidosha, 2007 |
この書籍内から
検索結果1-3 / 67
91 ページ
... ここでの新しい対象を「計算可能汎関数」と呼ぶのはおかしいのである、それが結果的に「計算可能」であることが分かったとしても。そこで一般概念「関数」に基づいて考えてみる。ここで考える関数はその本質が了解された領域上での関数のみであり、その ...
... ここでの新しい対象を「計算可能汎関数」と呼ぶのはおかしいのである、それが結果的に「計算可能」であることが分かったとしても。そこで一般概念「関数」に基づいて考えてみる。ここで考える関数はその本質が了解された領域上での関数のみであり、その ...
95 ページ
... ここで構成した R に対し、一つ前のパラグラフの初めで述べた意味での完備性が成り立つことが示せたことになる。ここでの、からの R の構成では、 Q での収束数列をすべて集めてくる、という操作が行われていることに注意する。このためには、無限の項を ...
... ここで構成した R に対し、一つ前のパラグラフの初めで述べた意味での完備性が成り立つことが示せたことになる。ここでの、からの R の構成では、 Q での収束数列をすべて集めてくる、という操作が行われていることに注意する。このためには、無限の項を ...
113 ページ
... ここでも超限再帰とした方がよいかれないが、集合論では、この区別をあてせずに、再帰的な構成も(超限)帰納法(による構成)と ... ここでの用語の定義から、「| A | = | B 」で| A | = | B |でないなら、「 A | < | B |となる」とあらわすこともできること ...
... ここでも超限再帰とした方がよいかれないが、集合論では、この区別をあてせずに、再帰的な構成も(超限)帰納法(による構成)と ... ここでの用語の定義から、「| A | = | B 」で| A | = | B |でないなら、「 A | < | B |となる」とあらわすこともできること ...
他の版 - すべて表示
多く使われている語句
あっ アメリカ あり あるいは いく ゲーデル こうした ここ さらに しまう スコーレム そう それは だが だけ たち だっ つの つまり てき できない できる でも という とか とき なかっ なっ など なら ならない なる において における によって による のか ヒルベルト フェミニズム べき ます また まで よい より られ られる れる ろう わけ 意味 宇宙 運動 概念 完全性定理 関係 韓国 議論 経済 研究 現在 現代 言う 言語 言葉 公理 構成 考え 国家 国民 思い 思想 自然数 自分 実際 社会 主義 集合論 順序数 証明 場合 人間 数学 数学基礎論 世界 政権 政治 戦後 戦争 選択公理 存在 体系 対し 対象 朝鮮 直観 定義 哲学 日本 批判 必要 文学 無矛盾性 命題 問題 有限 理論 冷戦 歴史 連続体仮説 労働 論理 論理学 笙野 笙野頼子