Maria Hämeen-Anttila* and Jan von Plato,** eds, Kurt Gödel: The Princeton Lectures on Intuitionism

Philosophia Mathematica 31 (1):112-119 (2023)
  Copy   BIBTEX

Abstract

This book publishes for the first time notes from two notebooks of Gödel which formed the basis of a course on intuitionism Gödel delivered at Princeton in the

Categories

Keywords

Reprint years

DOI

10.1093/philmat/nkac024

Links

PhilArchive



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

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

A Sketch of Neo-Assyrian Grammar.Giorgio Buccellati, Jaakko Hämeen-Anttila & Jaakko Hameen-Anttila - 2002 - Journal of the American Oriental Society 122 (4):874.
Gödel intuitionismista ja matematiikan konstruktiivisista perusteista.Maria Hämeen-Anttila - 2020 - Ajatus 77 (1):439-448.
Nominalistic ordinals, recursion on higher types, and finitism.Maria Hämeen-Anttila - 2019 - Bulletin of Symbolic Logic 25 (1):101-124.
Remarks before the Princeton Bicentennial Conference on Problems in Mathematics.Kurt Gödel - 1946 - In Solomon Feferman, John Dawson & Stephen Kleene (eds.), Kurt Gödel: Collected Works Vol. Ii. Oxford University Press. pp. 150--153.
Kurt Gödel Philosopher-Scientist.Gabriella Crocco & Eva-Maria Engelen (eds.) - 2016 - Marseille: Presses universitaires de Provence.
Kurt Gödel and Computability Theory.Richard Zach - 2006 - In Beckmann Arnold, Berger Ulrich, Löwe Benedikt & Tucker John V. (eds.), Logical Approaches to Computational Barriers. Second Conference on Computability in Europe, CiE 2006, Swansea. Proceedings. Springer. pp. 575--583.
Philosophie I Maximen 0 / Philosophy I Maxims 0: Philosophische Notizbücher Band 1 / Philosophical Notebooks Volume 1.Kurt Gödel - 2019 - Berlin / Boston: De Gruyter.
Contacts and interaction: Proceedings of the 27th Congress of teh Union Européenne des Arabisants et Islamisants Helsinki 2014.Hämeen-Anttila Jaakko, Koskikallio Petteri & Lindstedt Ilkka (eds.) - 2017 - Peeters Publishing.
Kurt Gödels philosophische Notizbücher als Denkraum und Exerzitium.Eva-Maria Engelen - 2019 - Deutsche Zeitschrift für Philosophie 67 (2):251-264.
Collected Works: Volume Iii: Unpublished Essays and Lectures Vol. 3.Kurt Gödel - 1986 - Oxford, England and New York, NY, USA: Oxford University Press. Edited by Solomon Feferman.
Reflections on Kurt Gödel.Hao Wang - 1990 - Bradford.
Philosophische Notizbücher, Band 1: Philosophie I Maximen 0 / Philosophical Notebooks, Volume 1: Philosophy I Maxims 0, edited by Eva-Maria Engelen, translated by Merlin Carl, Berlin (De Gruyter) 2019.Kurt Gödel (ed.) - 2019 - Berlin: De Gruyter.
Introduction. Kurt Gödel's philosophical notebooks and the tradition of notebook writing.Eva-Maria Engelen - 2019 - In Kurt Gödel, Philosophical Notebooks, vol. 1: Philosophy I Maxims 0. De Gruyter. pp. 129-153.
Introduction. Kurt Gödel's applied individual ethics.Eva-Maria Engelen - 2020 - In Kurt Gödel, Philosophical Notebooks, vol. 2: Time Management (Maxims) I and II. De Gruyter. pp. 282- 319.
Gödel Kurt. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory. Annals of Mathematics studies, no. 3. Lithoprinted. Princeton University Press, Princeton 1940, 66 pp. [REVIEW]Paul Bernays - 1941 - Journal of Symbolic Logic 6 (3):112-114.

Analytics

Added to PP
2022-10-15

Downloads
11 (#1,110,001)

6 months
3 (#992,474)

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

On the interpretation of intuitionistic number theory.S. C. Kleene - 1945 - Journal of Symbolic Logic 10 (4):109-124.
Shoenfield is Gödel after Krivine.Thomas Streicher & Ulrich Kohlenbach - 2007 - Mathematical Logic Quarterly 53 (2):176-179.

Add more references