[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