More download options

Intuitionism As Generalization

Philosophia Mathematica (1-2):124-128 (1990) Copy BIBT_EX

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Revision history

Categories

Intuitionism and Constructivism in Philosophy of Mathematics

Keywords

Reprint years

DOI

10.1093/philmat/s2-5.1-2.124

Other Versions

No versions found

Links

PhilArchive

Upload a copy of this work Papers currently archived: 100,752

External links

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

Through your library

Sign in / register and customize your OpenURL resolver
Configure custom resolver

My notes

Sign in to use this feature

Similar books and articles

Fred Richman New Mexico State University.Intuitionism As Generalization - 1990 - Philosophia Mathematica (1-2):128.

Perspectives on Intuitionism.R. Tieszen - 1998 - Philosophia Mathematica 6 (2):129-130.

Is intuitionism the epistemically serious foundation for mathematics?William J. Edgar - 1973 - Philosophia Mathematica (2):113-133.

A pragmatic analysis of mathematical realism and intuitionism.Michel J. Blais - 1989 - Philosophia Mathematica (1):61-85.

Carl J. Posy. Mathematical Intuitionism.Roy T. Cook - 2022 - Philosophia Mathematica 30 (1):111-116.

Editorial.Robert Thomas - forthcoming - Philosophia Mathematica:nkx026.

Editorial.Robert Thomas - 2017 - Philosophia Mathematica 25 (3):392-393.

Tomasz Placek. Mathematical Intuitionism and Intersubjectivity. A Critical Exposition of Arguments for Intuitionism. Dordrecht: Kluwer Academic Publishers, 1999. Pp. xii + 218. ISBN 0-7923-5630-6. [REVIEW]Menno Lievers - 2004 - Philosophia Mathematica 12 (2):176-186.

The mechanization of reason.Michael Detlefsen - 1995 - Philosophia Mathematica 3 (1).

Maria Hämeen-Anttila* and Jan von Plato,** eds, Kurt Gödel: The Princeton Lectures on Intuitionism.Ulrich Kohlenbach - 2023 - Philosophia Mathematica 31 (1):112-119.

Analytics

Added to PP
2018-03-11

Downloads
44 (#503,404)

6 months
6 (#851,135)

Historical graph of downloads

How can I increase my downloads?

Citations of this work

Pluralism and Proofs.Greg Restall - 2014 - Erkenntnis 79 (S2):279-291.

Constructive mathematics.Douglas Bridges - 2008 - Stanford Encyclopedia of Philosophy.

Reverse formalism 16.Sam Sanders - 2020 - Synthese 197 (2):497-544.

Constructive mathematics in theory and programming practice.Douglas Bridges & Steeve Reeves - 1999 - Philosophia Mathematica 7 (1):65-104.

A Note on the Relation Between Formal and Informal Proof.Jörgen Sjögren - 2010 - Acta Analytica 25 (4):447-458.

View all 17 citations / Add more citations

References found in this work

No references found.

Add more references