Subject: Whither "intuitionistic"?
From: Jim Caldwell <caldwell@CS.Cornell.EDU>
Date: Tue, 21 Oct 1997 11:28:42 -0400 (EDT)
Delivery-Date: Tue, 21 Oct 1997 10:29:13 -0500
In-reply-to: Rainer Fischbach's message of Mon, 20 Oct 1997 23:12:11 +0100 <199710210348.WAA25568@shovelnose.cs.indiana.edu>
> The terms >intuitionism< and -- derived from the latter -- >intuitionistic<
> are due to Luitzen Egbertus Jan Brouwer, a dutch mathematician who in 1912
> (in his inaugural lecture at Amsterdam) introduced the term for a position
> opposed to what he called formalism: the axiomatic approach to the
> foundation of mathematics favoured by Hilbert, Zermelo et al.
I love the comment in Girard's book Proof Theory and Logical
Complexity regarding Heyting's formalization of intuitionism ... he
"All ideals are subject to treason, so too intuitionism."