「『ゲーデルの不完全性定理』」を解説文に含む見出し語の検索結果(121～130/464件中)
節標準形（英: Clausal normal form、CNF）とは、数理論理学において、論理プログラミングや多くの自動定理証明系で使われる論理式の標準形式である。論理式を節標準形に変換すると論理式の...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/04/24 15:46 UTC 版)「論理学の歴史」の記事における「メタ数学の時代」の解説ゲーデルとタルスキの名前が1930...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/28 14:21 UTC 版)「ダグラス・ホフスタッター」の記事における「学術におけるキャリア」の解説1988年よりイ...
クルト・ゲーデルKurt Gödel1925年撮影生誕 (1906-04-28) 1906年4月28日 オーストリア＝ハンガリー帝国、ブリュン死没1978年1月14日(1978-01-14)（71歳没...
レーヴェンハイム–スコーレムの定理（英: Löwenheim–Skolem theorem）とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ...
レーヴェンハイム–スコーレムの定理（英: Löwenheim–Skolem theorem）とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ...
本項では、ZFC集合論において決定不能であることが証明されている命題の一覧を掲げる。それらの命題は（ZFCが無矛盾であれば）ZFCの公理からは証明することも反証することもできない。以下では「ZFCが無...
カリーのパラドックス（英: Curry's paradox）は、素朴集合論や素朴論理学で見られるパラドックスであり、自己言及文といくつかの一見問題ない論理的推論規則から任意の文が派生されること...
カリーのパラドックス（英: Curry's paradox）は、素朴集合論や素朴論理学で見られるパラドックスであり、自己言及文といくつかの一見問題ない論理的推論規則から任意の文が派生されること...
ナビゲーションに移動検索に移動 スチュワート・ハメロフ。2008年のツーソン会議での発表。スチュワート・ハメロフ（英: Stuart Hameroff、1947年7月16日 - ）は、アメリカ...