検索結果

実際には、上の不等式は[[自己言及|自己言及的]]というわけではない<ref>タッパー自身の論文には自己言及 (self-referential) という表現は使われていない</ref> [[Category:自己言及]] …

数理論理学的には[[自己言及]]文を含まなくとも、素朴集合論では次の集合 X から任意の論理式 Y を証明できる。 …

…int theorem）としても知られる）は、[[自然数]]の特定の形式理論、特にすべての[[計算可能関数]]を表すのに十分な強力な理論における、[[自己言及]]的{{仮リンク|文 (数理論理学)|en|Sentence (mathematical logic)|label=文}}の存在を示す定理である。対角 直感的には、<math>\mathcal{C}</math>は[[自己言及]]的文である。<math>\mathcal{C}</math>は、<math>\mathcal{C}</math>が性質<math>\mathcal{ …

[[Category:自己言及]] …

タルスキは完全に構文的な手法を用いて、上記よりも強い定理を証明している。その定理は[[否定]]を持ち[[対角線補題]]が成立する程度に[[自己言及]]できる十分な強さを持ついかなる形式言語にも適用できる。一階算術はそういった前提条件を満たすが、[[ツェルメロ＝フレンケル集合論|ZFC]] のような …ものでなく、実際の興味を持つに足る十分な表現能力のある全ての形式言語の先天的な限界に関するものである。そのような言語は対角線補題を適用できる程度の[[自己言及]]が必然的に可能である。タルスキの定理の広範な哲学的意義はより明らかである。 …

…ation_Reply_to_Everett.pdf |archive-date=2012-01-06}}</ref>。いずれの場合でも、文学的な[[自己言及]]は数学的・論理的な再帰とは種類が異なると論じられている<ref name="Drucker2008">{{cite book |last=Druck * [[自己言及]] …

…ar|G}}（'''ゲーデル文'''）が構成できる。ゲーデル文を構成するためには自然数論の式を自然数に変換する'''[[ゲーデル数]]'''および[[自己言及]]で用いられる対角化の技法（を形式化したもの）が必要である。後者は[[対角化定理|対角化補題]]と呼ばれる。 概要でも説明したように、'''[[ゲーデル数]]'''というテクニックを使って間接的に[[自己言及]]を可能とし、ゲーデル文を構成する。コンピュータでは全てのデータを一意な数値で表しており、特に[[文字列]]や[[論理式 (数学)|論理式]]そして論 …

…とすれば、それは「説明的に自己包含的な（explanatory self-subsumption）」究極の原理、自分自身で自分自身を説明する何か（[[自己言及]]）、であろうとして、そうした場合についての検討を行った。 …