An Introduction to Gödel's Theorems

Bulletin of Symbolic Logic 15 (2):218-222 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Gödel's incompleteness theorems and computer science.Roman Murawski - 1997 - Foundations of Science 2 (1):123-135.
An Introduction to Gödel's Theorems.Peter Smith - 2007 - New York: Cambridge University Press.
Gödel’s Incompleteness Theorems and Physics.Newton C. A. Da Costa - 2011 - Principia: An International Journal of Epistemology 15 (3):453-459.
On the philosophical relevance of Gödel's incompleteness theorems.Panu Raatikainen - 2005 - Revue Internationale de Philosophie 59 (4):513-534.
Three theorems of Godel.Andrew Boucher - manuscript
Automated Theorem Proving and Its Prospects. [REVIEW]Desmond Fearnley-Sander - 1995 - PSYCHE: An Interdisciplinary Journal of Research On Consciousness 2.
Gödel's incompleteness theorems.Raymond M. Smullyan - 1992 - New York: Oxford University Press. Edited by Lou Goble.
First International Symposium on Gödel's Theorems: Paris, 27-29 May 1991.Z. W. International Symposium on Gödel'S. Theorems & Wolkowski - 1993 - World Scientific Publishing Company.
Completude Diz-se em Vários Sentidos: Completeness can be Said in Several Meanings.Edelcio Gonçalves de Souza - 2004 - Cognitio 5 (2):78-82.
Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems.Paolo Mancosu - 1999 - History and Philosophy of Logic 20 (1):33-45.
Gödel's and Other Paradoxes.Hartley Slater - 2015 - Philosophical Investigations 39 (4):353-361.
An Introduction To Gödel's Theorems. [REVIEW]Arnon Avron - 2009 - Bulletin of Symbolic Logic 15 (2):218-221.
Gödel's theorems: a workbook on formalization.Verena Huber-Dyson - 1991 - Stuttgart: B.G. Teubner Verlagsgesellschaft.
How to Gödel a Frege-Russell: Gödel's incompleteness theorems and logicism.Geoffrey Hellman - 1981 - Noûs 15 (4):451-468.
Gödel's Incompleteness Theorems.Panu Raatikainen - 2013 - The Stanford Encyclopedia of Philosophy (Winter 2013 Edition), Edward N. Zalta (Ed.).

Analytics

Added to PP
2017-02-21

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Peter Eldridge-Smith
Australian National University

Citations of this work

Categorical Quantification.Constantin C. Brîncuș - forthcoming - Bulletin of Symbolic Logic:1-27.
The Different Ways in which Logic is (said to be) Formal.Catarina Dutilh Novaes - 2011 - History and Philosophy of Logic 32 (4):303 - 332.
Infinite Reasoning.Jared Warren - 2020 - Philosophy and Phenomenological Research 103 (2):385-407.

View all 64 citations / Add more citations

References found in this work

No references found.

Add more references