Intuitionism in Mathematics [Book Review]

Journal of Symbolic Logic 40 (3):472-472 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272221

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,757

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

Intuitionism in mathematics.A. Hnvrme - 1961 - In Raymond Klibansky (ed.), Philosophy in the mid-century. Firenze,: Nuova Italia. pp. 1--101.
Intuitionism in mathematics.A. Heyting - 1958 - In R. Klibansky (ed.), Philosophy in the mid-century. A survey. Nuova Italia. pp. 101–115.
Intuitionism in Mathematics.D. C. McCarty - 2005 - In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford and New York: Oxford University Press.
Against intuitionism: Constructive mathematics is part of classical mathematics.William W. Tait - 1983 - Journal of Philosophical Logic 12 (2):173 - 195.
A. Heyting. Intuitionism in mathematics. Contemporary philosophy, A survey, I, Logic and foundations of mathematics (La philosophic contemporaine, Chroniques, I, Logique et fondements des mathématiques), edited by Raymond Klibansky, La Nuova Italia Editrice, Florence1968, pp. 316–323. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (3):472-472.
What are the limits of mathematical explanation? Interview with Charles McCarty by Piotr Urbańczyk.David Charles McCarty & Piotr Urbańczyk - 2016 - Zagadnienia Filozoficzne W Nauce 60:119-137.
The foundations of mathematics as a study of life: an effective but non-recursive function.Mark van Atten - 2008 - Progress in Theoretical Physics 173:38-47.
Church Alonzo. An unsolvable problem of elementary number theory. American journal of mathematics, vol. 58 , pp. 345–363. [REVIEW]Paul Bernays - 1936 - Journal of Symbolic Logic 1 (2):73-74.
Creating a New Mathematics.Arran Gare - 2016 - In Ronny Desmet (ed.), Intuition in Mathematics and Physics. pp. 146-164.

Analytics

Added to PP
2015-02-05

Downloads
38 (#598,068)

6 months
8 (#605,434)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.
Constructions, proofs and the meaning of logical constants.Göran Sundholm - 1983 - Journal of Philosophical Logic 12 (2):151 - 172.
Conceptions of truth in intuitionism.Panu Raatikainen - 2004 - History and Philosophy of Logic 25 (2):131--45.
Brouwerian intuitionism.Michael Detlefsen - 1990 - Mind 99 (396):501-534.

View all 16 citations / Add more citations

References found in this work

No references found.

Add more references