ゲーデル の検索結果 (416件 1〜 10 件を表示)

ゲーデルの不完全性定理について

ゲーデルの不完全性定理について ネットサーフィンをしていたときに、たまたま、ゲーデルの項目を見つけました。 当方、数学は素人なのですが、 ゲーデルの不完全性定理(ある公理系の...…

解決

ゲーデルの不完全性定理を詳しく教えてください。

ゲーデルの不完全性定理を詳しく教えてください。…

解決

厳密に数学的なゲーデル命題について

…高橋昌一郎さんの「ゲーデルの哲学」によると、1977年にジェフ・パリスとレオ・ハリントンにより、自然数論において厳密に数学的なゲーデル命題が発見された、とあります。 どのような...…

締切

ゲーデルによれば、無限を前提にしないと数の整合性/無矛盾性が保てない?

ゲーデルによれば、無限を前提にしないと数の整合性/無矛盾性が保てないと言えるのでしょうか?…

解決

ゲーデルの解

ゲーデルの解の考案者について教えて下さい。…

締切

ゲーデル数と自然数の有限列について

…ピンポイントな質問で申し訳ないのですが、もし答えられる方がいらっしゃればお願いします。 田中一之著「ゲーデルに挑む」の原論文第一節 p29に論理式は自然数の有限列で表されるとあ...…

締切

ゲーデルの定理は最終的なもの?

…まったく門外漢ですが、ゲーデルの定理というのは一種の最終的真理のように考えてよいのでしょうか?あるいは将来この定理を一部として含むような別の定理(?)が出現する可能性もあるので...…

解決

ゲーデル「不完全性定理」が分かりやすく理解できる本

ゲーデル「不完全性定理」が分かりやすく理解できる本 通学中の電車内に有る「1991年、科学によって神が存在しないことが証明された!」という謳い文句に興味を持ち、一体、その照明方法...…

解決

ゲーデルの不完全性定理

ゲーデルの不完全性定理の証明のアイデアが知りたいと思い、適当な入門書(基礎論の教科書ではないです。)を読んでいるのですが、 まず、定理の主張が「形式的体系Tで通常の自然数を含...…

締切

ゲーデルの不完全性定理が成立している以上、人口知能が自らの存在に対して

ゲーデルの不完全性定理が成立している以上、人口知能が自らの存在に対しての答えを自ら導き出すことができないのではないかと考えています。 帰納法では自らの存在とは何かに対して...…

解決

検索で見つからないときは質問してみよう!

Q質問する(無料)

おすすめ情報

Q&A検索履歴

カテゴリ