INCOMPLETENESS VIA PARADOX AND COMPLETENESS

DOI10.1017/S1755020319000212MaRDI QIDQ5117593zbMATH OpenOpenAlexWikidataFDO

Authors Walter Dean

Publication date 26 August 2020

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020319000212

zbMATH Keywords

interpretabilitysemantic paradoxesarithmetized completeness theoremDavid HilbertHilbert programPaul Bernaysset theoretic paradoxesHao WangGeorg Kreisel

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40) Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Recommendations

• Incompleteness and paradox
• scientific article; zbMATH DE number 1339027
• Incompleteness and fixed points
• scientific article; zbMATH DE number 2176167
• Inconsistency and Incompleteness, Revisited
• Paraconsistency and paracompleteness
• scientific article; zbMATH DE number 1062120
• Liar-type paradoxes and the incompleteness phenomena
• scientific article; zbMATH DE number 638206
• Incompleteness in a General Setting

Cites work

• scientific article; zbMATH DE number 5959536 (Why is no real title available?)
• scientific article; zbMATH DE number 5976664 (Why is no real title available?)
• scientific article; zbMATH DE number 3882428 (Why is no real title available?)
• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 3124827 (Why is no real title available?)
• scientific article; zbMATH DE number 3142079 (Why is no real title available?)
• scientific article; zbMATH DE number 3173696 (Why is no real title available?)
• scientific article; zbMATH DE number 3926869 (Why is no real title available?)
• scientific article; zbMATH DE number 50690 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 3523506 (Why is no real title available?)
• scientific article; zbMATH DE number 3525126 (Why is no real title available?)
• scientific article; zbMATH DE number 1215477 (Why is no real title available?)
• scientific article; zbMATH DE number 1257634 (Why is no real title available?)
• scientific article; zbMATH DE number 1062120 (Why is no real title available?)
• scientific article; zbMATH DE number 1150714 (Why is no real title available?)
• scientific article; zbMATH DE number 1550362 (Why is no real title available?)
• scientific article; zbMATH DE number 1855556 (Why is no real title available?)
• scientific article; zbMATH DE number 873158 (Why is no real title available?)
• scientific article; zbMATH DE number 928934 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 3237808 (Why is no real title available?)
• scientific article; zbMATH DE number 3251409 (Why is no real title available?)
• scientific article; zbMATH DE number 3280052 (Why is no real title available?)
• scientific article; zbMATH DE number 3289430 (Why is no real title available?)
• scientific article; zbMATH DE number 3291106 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3020851 (Why is no real title available?)
• scientific article; zbMATH DE number 3032487 (Why is no real title available?)
• scientific article; zbMATH DE number 3060222 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• scientific article; zbMATH DE number 3076631 (Why is no real title available?)
• scientific article; zbMATH DE number 3085186 (Why is no real title available?)
• scientific article; zbMATH DE number 3111916 (Why is no real title available?)
• A construction for consistent systems
• A method of modelling the formalism of set theory in axiomatic set theory
• A relative consistency proof
• A survey of proof theory
• A system of axiomatic set theory - Part VII
• A system of axiomatic set theory. Part III. Infinity and enumerability. Analysis
• Arithmetical reflection and the provability of soundness
• Arithmetization of metamathematics in a general setting
• Axiomatic theories of truth
• Axiomatizing Kripke's theory of truth
• Bernays and Set Theory
• Bernays and the Completeness Theorem
• Comparison of Russell's resolution of the semantical antinomies with that of Tarski
• Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic
• Consistency of the Continuum Hypothesis. (AM-3)
• Construction of Satisfaction Classes for Nonstandard Models
• David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
• David Hilbert's Lectures on the Foundations of Physics 1915-1927
• Die schematische Korrespondenz und die idealisierten Strukturen
• Full Satisfaction Classes and Recursive Saturation
• Heterologicality and imcompleteness
• Hilbert's paradox
• Kolmogorov complexity and the second incompleteness theorem
• Liar-type paradoxes and the incompleteness phenomena
• Note on arithmetic models for consistent formulae of the predicate calculus
• On Languages Which are Based on Non-Standard Arithmetic
• On a paradox of Hilbert and Bernays
• On formalization of model-theoretic proofs of Gödel's theorems
• On interpretations of arithmetic and set theory
• On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos
• On recursively enumerable and arithmetic models of set theory
• On the concepts of completeness and interpretation of formal systems
• On the paradox of grounded classes
• Outline of a Theory of Truth
• Recursive Predicates and Quantifiers
• Reflecting on incompleteness
• Relatives of the Russell Paradox
• Satisfying predicates: Kleene's proof of the Hilbert-Bernays theorem
• Saving truth from paradox
• Self-reference and modal logic
• Self-reference in arithmetic. I
• Self-reference in arithmetic. II
• Sets and classes. On the work by Paul Bernays
• Some applications of formalized consistency proofs
• Some impredicative definitions in the axiomatic set theory
• Some remarks on extending and interpreting theories with a partial predicate for truth
• Subsystems of second order arithmetic
• TRUTH AND FEASIBLE REDUCIBILITY
• The Hypothesis that all Classes are Nameable
• The completeness of the first-order functional calculus
• The incompleteness theorems after 70 years
• The prehistory of the subsystems of second-order arithmetic
• The surprise examination paradox and the second incompleteness theorem
• The theory of semisets
• Trial and error predicates and the solution to a problem of Mostowski
• Two notes on the foundations of set-theory
• Undecidable sentences generated by semantic paradoxes
• Undecidable theories
• Yablo's paradox
• operators and alternating sentences in arithmetic
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

Cited in

(15)

• scientific article; zbMATH DE number 15306 (Why is no real title available?)
• Incompleteness and the Barcan formula
• Current research on Gödel's incompleteness theorems
• Natural constructive proofs of A via A B, proof paradoxes, and impredicativity
• Liar-type paradoxes and the incompleteness phenomena
• Incompleteness and fixed points
• On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos
• Conway's question: the chase for completeness
• scientific article; zbMATH DE number 221552 (Why is no real title available?)
• Inconsistency and Incompleteness, Revisited
• Is complexity a source of incompleteness?
• scientific article; zbMATH DE number 1062120 (Why is no real title available?)
• Incompleteness Ex Machina
• Reflecting and unfolding
• Incompleteness and paradox

This page was built for publication: INCOMPLETENESS VIA PARADOX AND COMPLETENESS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5117593)