Gendai shisō, 第 35 巻、第 1~4 号Seidosha, 2007 |
この書籍内から
検索結果1-3 / 69
14 ページ
... ならば、つまりどの時代であれ、その時のデー夕つまり推論主体の誕生順番に合わせてそれなりに終末予想の仮説検定が事後設定されるものなら、終末論法は〈語用論的独立性の要請〉を破っており、データは終末時期に関する特定の仮説に何ら支持を与えない ...
... ならば、つまりどの時代であれ、その時のデー夕つまり推論主体の誕生順番に合わせてそれなりに終末予想の仮説検定が事後設定されるものなら、終末論法は〈語用論的独立性の要請〉を破っており、データは終末時期に関する特定の仮説に何ら支持を与えない ...
197 ページ
... ならば、不完全であり、しかもその無矛盾性を自身のうちで証明することさえかなわないということであろう。これらの定理の ... ならば、形式系 P が無矛盾であるかぎり、 G は P において証明不可能であることが帰結する( 9 )。ところで、このメタ数学的 ...
... ならば、不完全であり、しかもその無矛盾性を自身のうちで証明することさえかなわないということであろう。これらの定理の ... ならば、形式系 P が無矛盾であるかぎり、 G は P において証明不可能であることが帰結する( 9 )。ところで、このメタ数学的 ...
245 ページ
... なら人間固有のものである論理操作を、脳から外に取り出し、それを機械に実行させることが可能となったからであり、それこそ ... ならば(理論 T によって文( p ならば q )が証明できる)」というものである( TUpq⇒ Tp → q )。この定理から学ぶべきことは ...
... なら人間固有のものである論理操作を、脳から外に取り出し、それを機械に実行させることが可能となったからであり、それこそ ... ならば(理論 T によって文( p ならば q )が証明できる)」というものである( TUpq⇒ Tp → q )。この定理から学ぶべきことは ...
他の版 - すべて表示
多く使われている語句
あっ アメリカ あり あるいは いく ゲーデル こうした ここ さらに しまう スコーレム そう それは だが だけ たち だっ つの つまり てき できない できる でも という とか とき なかっ なっ など なら ならない なる において における によって による のか ヒルベルト フェミニズム べき ます また まで よい より られ られる れる ろう わけ 意味 宇宙 運動 概念 完全性定理 関係 韓国 議論 経済 研究 現在 現代 言う 言語 言葉 公理 構成 考え 国家 国民 思い 思想 自然数 自分 実際 社会 主義 集合論 順序数 証明 場合 人間 数学 数学基礎論 世界 政権 政治 戦後 戦争 選択公理 存在 体系 対し 対象 朝鮮 直観 定義 哲学 日本 批判 必要 文学 無矛盾性 命題 問題 有限 理論 冷戦 歴史 連続体仮説 労働 論理 論理学 笙野 笙野頼子