Gödel and Intuitionism

In Robert Tragesser, Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Cham: Springer Verlag (2015)
  Copy   BIBTEX

Abstract

Joint Session of the two Divisions of the International Union for History and Philosophy of Science.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Godel's interpretation of intuitionism.William Tait - 2006 - Philosophia Mathematica 14 (2):208-228.
Intuitionism.David Kaspar - 2012 - New York: Continuum.
The mechanization of reason.Michael Detlefsen - 1995 - Philosophia Mathematica 3 (1).
Gödel's Modernism: On Set Theoretic Incompleteness, Revisited.Juliette Kennedy - 2009 - In Sten Lindström, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.), Logicism, Intuitionism and Formalism: What has become of them? Springer.
On Gödel's awareness of Skolem's Helsinki lecture.Mark van Atten - 2005 - History and Philosophy of Logic 26 (4):321-326.
Intuitionism and subjectivism.Mark T. Nelson - 1991 - Metaphilosophy 22 (1-2):115-121.
Intuitionism and conservatism.Mark T. Nelson - 1990 - Metaphilosophy 21 (3):282-293.
Renewing Moral Intuitionism.Elizabeth Tropman - 2009 - Journal of Moral Philosophy 6 (4):440-463.
Moral Intuitionism and the Challenges of Mysteriousness and Dogmatism.Mark D. Mathewson - 2003 - Dissertation, The University of Nebraska - Lincoln
Intuitionism.Anthony Skelton - 2013 - In J. E. Crimmins & D. C. Long (eds.), Encyclopedia of Utilitarianism. Bloomsbury Academic.
Note on witnessed Gödel logics with Delta.Matthias Baaz & Oliver Fasching - 2010 - Annals of Pure and Applied Logic 161 (2):121-127.

Analytics

Added to PP
2015-04-28

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

Mark van Atten
Centre National de la Recherche Scientifique

References found in this work

No references found.

Add more references