Gödel a Life of Logic

&
Cambridge, MA, USA: Perseus (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

0738202746   9780738202747

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,440

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

Reflections on Kurt Gödel.Hao Wang - 1990 - Bradford.
Logical Dilemmas: The Life and Work of Kurt Gödel.John W. Dawson - 1999 - Studia Logica 63 (1):147-150.
An austrian mélange • Eckehart köler, Peter weibel, Michael stöltzner, Bernd Buldt, Carsten Klein, and Werner depauli-schimanovich-göttig, eds. Kurt gödel. Wahrheit & beweisbarkeit. Band 1: Dokumente und historische analysen [Kurt gödel. Truth and provability. Vol. 1: Documents and historical analyses]. Vienna: Öbv et hpt, 2002. Isbn 3-209-03824-1. Pp. 279. • Bernd Buldt, Eckehart köhler, Michael stöltzner, Peter weibel, Carsten Klein, and Werner depauli-schimanovich-göttig, eds. Kurt gödel. Wahrheit & beweisbarkeit. Band 2: Kompendium zum werk [vol. 2: Compendium of work]. Vienna: Öbv et hpt, 2002. Isbn 3-209-03835-X. Pp. 447. [REVIEW]Hannes Leitgeb - 2007 - Philosophia Mathematica 15 (2):245-257.
On Gödel.Jaakko Hintikka - 2000 - Cengage Learning.
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.
The Reception of Godel's 1931 Incompletability Theorems by Mathematicians, and Some Logicians, to the Early 1960s.Ivor Grattan-Guinness - 2011 - In Matthias Baaz (ed.), Kurt Gödel and the foundations of mathematics: horizons of truth. New York: Cambridge University Press. pp. 57.
Gödel Remembered: Salzburg 10-12 July 1983.John W. Dawson - 1987 - Humanities Press.
Kurt Gödel Philosopher-Scientist.Gabriella Crocco & Eva-Maria Engelen (eds.) - 2016 - Marseille: Presses universitaires de Provence.
Kurt Gödel and the foundations of mathematics: horizons of truth.Matthias Baaz (ed.) - 2011 - New York: Cambridge University Press.
Logical Dilemmas. The Life and Work of Kurt Gödel. [REVIEW]Helmut Veith - 1998 - Vienna Circle Institute Yearbook 5:406-408.
Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, Kgc '97, Vienna, Austria, August 25-29, 1997 : Proceedings'.G. Gottlob, Alexander Leitsch, Daniele Mundici & Kurt Gödel Society - 1997 - Springer Verlag.
Automata Presenting Structures: A Survey of the Finite String Case.Sasha Rubin, Werner DePauli-Schimanovich, T. U. Wien & Kurt Gödel-Ein Mathematischer Mythos - 2008 - Bulletin of Symbolic Logic 14 (2):169-209.
Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : Proceedings.Georg Gottlob & Alexander Leitsch - 1993 - Springer Verlag.
Richard Tieszen, After Gödel. Platonism and Rationalism in Mathematics and Logic.: Oxford University Press, Oxford, 2011. [REVIEW]Stefania Centrone - 2014 - Husserl Studies 30 (2):153-162.
Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Gödel.Andrzej Mostowski - 1952 - Westport, Conn.: Greenwood Press.

Analytics

Added to PP
2015-02-02

Downloads
1 (#1,905,797)

6 months
1 (#1,478,856)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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