Gödel's disjunction. The scope and limits of mathematical knowledge

DOI10.1093/ACPROF:OSO/9780198759591.001.0001MaRDI QIDQ2800600zbMATH OpenOpenAlexFDO

Authors

Publication date 15 April 2016

Full work available at URL https://doi.org/10.1093/acprof:oso/9780198759591.001.0001

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Gödel numberings and issues of incompleteness (03F40) Semantics in the theory of computing (68Q55)

Cited in

(7)

• Von Neumann's impossibility proof: mathematics in the service of rhetorics
• scientific article; zbMATH DE number 5545384 (Why is no real title available?)
• scientific article; zbMATH DE number 4004148 (Why is no real title available?)
• Finding the limit of incompleteness. I
• The dependence of computability on numerical notations
• Reflexivity of -consistency in a general setting
• Hamkins' analogy between set theory and geometry: pluralism by leveling up?

This page was built for publication: Gödel's disjunction. The scope and limits of mathematical knowledge

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