Intuitionism in Mathematics

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

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

Heyting’s contribution to the change in research into the foundations of mathematics.Miriam Franchella - 1994 - History and Philosophy of Logic 15 (2):149-172.
Why did Weyl think that formalism's victory against intuitionism entails a defeat of pure phenomenology?Iulian D. Toader - 2014 - History and Philosophy of Logic 35 (2):198-208.
Questioning Constructive Reverse Mathematics.I. Loeb - 2012 - Constructivist Foundations 7 (2):131-140.
Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
Constructing numbers through moments in time: Kant's philosophy of mathematics.Paul Anthony Wilson - unknown
Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
Intuitionism.David Kaspar - 2012 - New York: Continuum.
Review: A. Heyting, Intuitionism in Mathematics. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (3):472-472.
Intuitionism.Arend Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
Review: A. Heyting, Raymond Klibansky, Intuitionism in Mathematics. [REVIEW]Hans Freudenthal - 1974 - Journal of Symbolic Logic 39 (3):609-609.
Against intuitionism: Constructive mathematics is part of classical mathematics. [REVIEW]W. W. Tait - 1983 - Journal of Philosophical Logic 12 (2):173 - 195.
Intuitionism and Modal Logics.William Ewald - 1979
logicism, intuitionism, and formalism - What has become of them?Sten Lindstr©œm, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.) - 2008 - Berlin, Germany: Springer.
Intuitionistic mathematics and wittgenstein.Wenceslao J. Gonzalez - 1991 - History and Philosophy of Logic 12 (2):167-183.
Varieties of constructive mathematics.D. S. Bridges - 1987 - New York: Cambridge University Press. Edited by Fred Richman.

Analytics

Added to PP
2015-02-05

Downloads
26 (#595,031)

6 months
3 (#992,474)

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.
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Berlin: Springer Verlag. pp. 43-78.

View all 16 citations / Add more citations

References found in this work

No references found.

Add more references