ゲーデル

の検索結果 (427件 1〜 20 件を表示)

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

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

解決

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

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

解決

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

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

締切

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

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

解決

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

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

解決

ゲーデルの解

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

締切

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

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

締切

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

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

解決

ゲーデルの不完全性定理

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

締切

超文系ですが、ゲーデルを理解したいのです

…数学は中学あたりから苦手になりました。 国語はまあまあ得意な文系です。 ゲーデル、エッシャー、バッハという本を見て 中に何が書いてあるのか知りたくてたまらなくなりました。 ...…

解決

ゲーデルの不完全性定理に現れる決定不能命題の数学的具体例を教えてください

…最近、クルト・ゲーデルにはまっている者です、これが、なかなか難しくて困っています、ゲーデルが不完全性定理で表現した「真であるにもかかわらず証明できない」と言われる決定不能...…

解決

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

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

解決

ゲーデルの不完全性定理とは?

…入門書を読んで理解を深めてから質問しようと思っていたのですが、なにぶん多忙かつ 魯鈍であるため、ほとんど理解していない状態での質問をお許しください。 ゲーデルの不完全性定理...…

解決

ゲーデルの不完全性定理で出てくる「証明できない」

ゲーデルの不完全性定理の証明に関する本をいろいろ読んでみましたが(あまり厳密なものは読んでいませんが)、どの本を読んでいても理解が先に進まず立ち止まってしまうところがありま...…

締切

私がよく分らないのは ゲーデルの第1不完全性定理です。『形式的体系Sに

…私がよく分らないのは ゲーデルの第1不完全性定理です。 『形式的体系Sにおいて、形式的体系Sが無矛盾である限り、「形式的体系Sにおいて命題は証明可能である。」という命題も「形式的...…

解決

私が知りたいのは ゲーデルの不完全性定理の幾何学での理解です。

…私が知りたいのは ゲーデルの不完全性定理の幾何学での理解です。 (1)第2不完全性定理では 次の表現があり『公理系Nにおいて、その無矛盾性を証明することは不可能である』 、そのなか...…

解決

ゲーデルの証明不能命題

…不完全性定理(形式的体系においてその公理と推論規則を使って証明も否定もできない論理式Aが存在する。)にいう論理式Aには例えばどんなものがあるのでしょうか? いまだ解かれていない数...…

解決

ゲーデルの不完全性定理

…不完全性定理って結局、数学は不完全であるということが証明されたってことですよね? だとしたら、これから数学を研究することに何の意味があるのでしょうか?…

解決

ゲーデルの不完全性定理を、小学生にも分かるように教えていただきたい

…本の中の不完全性定理の説明文で、 >「この命題は証明不能である」 という命題が証明可能であるならば、 この命題の中で主張している「証明不能である」ということと、 それが「証明...…

解決

ゲーデルの不完全性定理って?

…いろいろ調べたんですがいろいろあって意味不明です。 数学の定理なんですか? これ。…

解決

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

Q質問する(無料)

おすすめ情報

Q&A検索履歴