Unprovable theorems

Abstract

I don’t remember if I got as high as 2-390, but I distinctly remember taking my first logic course - as a Freshman - with Hartley Rogers, in Fall 1964 - here in 2-190. Or was it in 2-290?

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Whither relevant arithmetic?Harvey Friedman & Robert K. Meyer - 1992 - Journal of Symbolic Logic 57 (3):824-831.
Reflections on Concrete Incompleteness.G. Longo - 2011 - Philosophia Mathematica 19 (3):255-280.
Contemporary perspectives on Hilbert's second problem and the gödel incompleteness theorems.Harvey Friedman - manuscript
On the philosophical relevance of Gödel's incompleteness theorems.Panu Raatikainen - 2005 - Revue Internationale de Philosophie 59 (4):513-534.
Some dichotomy theorems for isomorphism relations of countable models.Su Gao - 2001 - Journal of Symbolic Logic 66 (2):902-922.
Can There be a Proof that an Unprovable Sentence of Arithmetic is True?Philip Hugly & Charles Sayward - 1989 - Dialectica 43 (43):289-292.
Is Incompleteness A Serious Problem?G. Lolli & U. Pagallo - unknown
Unprovable theorems in discrete mathematics.Harvey Friedman - manuscript

Analytics

Added to PP
2009-11-21

Downloads
171 (#110,137)

6 months
1 (#1,510,037)

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