[FOM] Formal logic, constructivism, & intuitionism ...
José Félix Costa
fgc at math.ist.utl.pt
Wed Jan 18 03:38:09 EST 2006
Richard Haney: «Can anyone direct me to specific resources (including
sections and page numbers, if available) where intuitionists discuss their
philosophical views?»
>>>>>>>>>>>
The following is a direct resource, not direct sources (that takes time to
compile):
A historical overview, containing also discussion on Esenin-Vol'pin's
ultra-finitism (or ultra-intuitionism) -- that considers Parihk feasible
numbers:
Constructivism in Mathematics, An Introduction
A. S. Troelstra and D. van Dalen
Studies in Logic, 121
North-Holland, 1988
>>>>>>>>>>>
CHAPTER 1 - INTRODUCTION, pages 1-33
+++++++++++++++++++++++++++++++++++++++++++++++
J. Felix Costa
Departamento de Matematica
Instituto Superior Tecnico
Av. Rovisco Pais, 1049-001 Lisboa, PORTUGAL
tel: 351 - 21 - 841 71 45
fax: 351 - 21 - 841 75 98
e-mail: fgc at math.ist.utl.pt
www: http://fgc.math.ist.utl.pt/jfc.htm
+++++++++++++++++++++++++++++++++++++++++++++++
More information about the FOM
mailing list