Shocking(?) Unprovability

Abstract

Mathematical Logic had a glorious period in the 1930s, which was briefly rekindled in the 1960s. Any Shock Value, such as it is, has surrounded unprovability from ZFC.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

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

  • Only published works are available at libraries.

My notes

Similar books and articles

Calculating self-referential statements, I: Explicit calculations.Craig Smorynski - 1979 - Studia Logica 38 (1):17 - 36.
The unprovability in intuitionistic formal systems of the continuity of effective operations on the reals.Michael Beeson - 1976 - Journal of Symbolic Logic 41 (1):18-24.
A philosophical remark on Gödel's unprovability of consistency proof.Francesca Rivetti Barbò - 1968 - Notre Dame Journal of Formal Logic 9 (1):67-74.
The unprovability of consistency: an essay in modal logic.George Boolos - 1979 - New York: Cambridge University Press.
Fictional propositions and the unprovability of consistency.Enrico Martino - 2006 - Grazer Philosophische Studien 72 (1):201-210.
Reflections on Concrete Incompleteness.G. Longo - 2011 - Philosophia Mathematica 19 (3):255-280.
Milgram's Shocking Experiments.Steven C. Patten - 1977 - Philosophy 52 (202):425 - 440.
Reverse Mathematics and Uniformity in Proofs without Excluded Middle.Jeffry L. Hirst & Carl Mummert - 2011 - Notre Dame Journal of Formal Logic 52 (2):149-162.

Analytics

Added to PP
2010-04-21

Downloads
161 (#114,295)

6 months
5 (#526,961)

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