二階述語論理 の検索結果 (13件 1〜 10 件を表示)

二階述語論理と高階述語論理について

…(1)二階述語論理というものが調べても分からないのですが、一階述語論理の発展形なのでしょうか。 http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1110226389... 具体例を調べても、これぐらいし...…

締切

高階述語論理について質問です!!

二階述語論理では、Henkin semanticsのもとで完全性定理が成り立つそうですが、これは二階以上の高階述語論理でも成り立ちますか? 詳しい方よろしくお願いします!!…

解決

論理学

…言語哲学大全という本に「二階の量化の言語表現自体は三階の述語である。」とあるのですが、これはどういう意味なんでしょうか? お分かりの方がいましたら教えてください。…

解決

論理学と数学の関係を教えてください。

…よろしくお願いいたします。…

解決

カリーのパラドックス

…論理学のカテがないのでこちらのカテで質問します。 当方、完全に素人で、最近いくつか本を読んだらこんがらがってきたので質問させてください。 Wikipediaのカリーのパラドックス(http://j...…

解決

絶対とはなんなのか

…よく「この世に絶対はない」といいますが、 A)もし絶対というものが存在しないならば、 B)「絶対が存在しない」ということは絶対になってしまい、絶対というものは存在するという結論に...…

解決

人口知能とは何ですか?

…wikiや検索したサイトを見たのですが、本質的な要素がよく理解できませんでした。 私の認識で端的に言えば、「人工知能はIF文の集合」だと思っています。 入力された情報に対し、あらか...…

解決

不存在の証明はかなり困難か不可能なもの?

…不存在の証明(悪魔の証明)はかなり困難か不可能なものだとされています。 http://ja.wikipedia.org/wiki/%E6%82%AA%E9%AD%94%E3%81%AE%E8%A8%BC%E6%98%8E 限定的な事柄でしたら、比較的に簡単かもしれませんが...…

締切

スコーレムの定理の意味 論理式の表現の可能性

…以前、言葉尻の異なる同じような内容の質問をしております。 ご容赦ください。 スコーレムの定理によりべき集合公理をもつ公理系にも可算モデルが存在する 無限体k上のベクトル空間の...…

解決

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

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

解決

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

Q質問する(無料)

おすすめ情報

Q&A検索履歴

カテゴリ