Intuitionism As Generalization

Intuitionism As Generalization (1990)

by Fred Richman

Venue:	Philosophia Math
Citations:	7 - 1 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Intuitionism As Generalization	user correction - Legacy Corrections
AUTHOR NAME	Fred Richman	SVM HeaderParse 0.1
AUTHOR AFFIL	New Mexico State University	SVM HeaderParse 0.2
AUTHOR ADDR	Philosophia Mathematica, 5(1990), 124--128	SVM HeaderParse 0.1
ABSTRACT	ms that hold only in computational models. For example, Brouwer proved that every totally defined function on the real line is continuous. A theory where this is provable cannot refer to the classical universe, so we have to consider whether we like its models better than the classical model. But any theorem in constructive mathematics is a theorem in classical mathematics, so in this case it is not a question of choosing between models, but of deciding whether it is worthwhile to talk about computational models in addition to the classical model. By comparing mathematical realism with intuitionism from an informal axiomatic point of view, we can steer clear of most of the metaphysical problems involved in analyzing these notions from the ground up, and concentrate on what may be termed the purely mathematical aspects. In particular we won't have to consider whether intuitionists hold that a theorem "isn't true until it's known to be true", as Blais 1 <F	user correction - Legacy Corrections
YEAR	1990	INFERENCE
VENUE	Philosophia Math	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	124--128	INFERENCE
VOLUME	5	INFERENCE
CITATIONS	8 found	ParsCit 1.0