Frege and Gödel: Two Fundamental Texts in Mathematical Logic

Cambridge, MA: Harvard University Press. Edited by Gottlob Frege & Kurt Gödel (1970)
  Copy   BIBTEX

Abstract

Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought (1879), by G. Frege.--Some metamathematical results on completeness and consistency; On formally undecidable propositions of Principia mathematica and related systems I; and On completeness and consistency (1930b, 1931, and 1931a), by K. Gödel.--Bibliography (p. [111]-116).

Categories

Keywords

Reprint years

1879, 2013

Call number

QA9.V28

ISBN(s)

0674318447   0674318455   1583485961   0674864573

DOI

10.4159/harvard.9780674864603
View all bargains

Buy this book

Links

PhilArchive



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

External links

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

Seeing How It Goes: Paper-and-Pencil Reasoning in Mathematical Practice.Danielle Macbeth - 2012 - Philosophia Mathematica 20 (1):58-85.
Completeness and categoricity: Frege, gödel and model theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.
Kurt Gödel: essays for his centennial.Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.) - 2010 - Ithaca, NY: Association for Symbolic Logic.
Gödel's incompleteness theorems.Raymond M. Smullyan - 1992 - New York: Oxford University Press. Edited by Lou Goble.
Frege.Michael Dummett - 1981 - Cambridge: Harvard University Press.
The Frege reader.Gottlob Frege & Michael Beaney (eds.) - 1997 - Cambridge: Blackwell.
S(zp, zp): post-structural readings of Gödel's proof.Roy Wagner - 2009 - Milano: Polimetrica.
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.

Analytics

Added to PP
2009-01-28

Downloads
9 (#1,251,255)

6 months
1 (#1,467,486)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Hand or Hammer? On formal and natural languages in semantics.Martin Stokhof - 2007 - Journal of Indian Philosophy 35 (5-6):597-626.
What is Frege's Relativity Argument?Palle Yourgrau - 1997 - Canadian Journal of Philosophy 27 (2):137-172.
Two Forms of Exclusion Mean Two Different Negations.Marcos Silva - 2014 - Philosophical Investigations 39 (3):215-236.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references