Concrete Mathematical Incompleteness: Basic Emulation Theory

In John Burgess (ed.), Hilary Putnam on Logic and Mathematics. Cham: Springer Verlag (2018)
  Copy   BIBTEX

Abstract

there are mathematical statements that cannot be proved or refuted using the usual axioms and rules of inference of mathematics.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,795

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Foundational Adventures: essays in honour of Harvey M. Friedman.Harvey Friedman & Neil Tennant (eds.) - 2014 - [London]: College Publications.
What is Mathematics: Gödel's Theorem and Around (Edition 2015).Karlis Podnieks - manuscript
Hilary Putnam on Logic and Mathematics.John Burgess (ed.) - 2018 - Cham: Springer Verlag.
Conventionalism, Consistency, and Consistency Sentences.Jared Warren - 2015 - Synthese 192 (5):1351-1371.
Gödel's Incompleteness Theorems.Raymond Smullyan - 2001 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Malden, Mass.: Wiley-Blackwell. pp. 72–89.
Hilary Putnam on Logic and Mathematics.Roy T. Cook & Geoffrey Hellman (eds.) - 2018 - Cham, Switzerland: Springer Verlag.
Unprovable theorems in discrete mathematics.Harvey Friedman - manuscript
does scientific realism entail mathematical realism?Charles Sayward - 2003 - Facta Philosophica 5 (1):173-182.
Reflections on Concrete Incompleteness.G. Longo - 2011 - Philosophia Mathematica 19 (3):255-280.
Bibliography of Hilary Putnam’s Writings in Logic and Mathematics.Roy Cook - 2018 - In John Burgess (ed.), Hilary Putnam on Logic and Mathematics. Cham: Springer Verlag.

Analytics

Added to PP
2010-12-22

Downloads
231 (#113,278)

6 months
231 (#11,978)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references