scientific article; zbMATH DE number 664031

zbMath0810.03001MaRDI QIDQ4309515

Raymond M. Smullyan

Publication date: 18 October 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

metamathematicsdiagonalizationsemanticsself-referencerecursion theorycombinatory logicsequential systemselementary formal systemshalting problemsfixed-point propertiesdouble indexingeffective representation systemsGödel's incompleteness proofsindexed relational systems

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) First-order arithmetic and fragments (03F30) Combinatory logic and lambda calculus (03B40)

Related Items

Uniform self-reference ⋮ Parametric Church's thesis: synthetic computability without choice ⋮ Patterns of paradox ⋮ The indefinability of truth in the ``Wahrheitsbegriff ⋮ Definability and commonsense reasoning ⋮ A step towards absolute versions of metamathematical results ⋮ Explicit Provability and Constructive Semantics ⋮ The Church-Rosser property in symmetric combinatory logic ⋮ Unnamed Item ⋮ The scope of Gödel's first incompleteness theorem ⋮ CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS ⋮ Reflection in conditional rewriting logic