[Prev][Next][Index][Thread]
Whither "intuitionistic"?
-
To: types@cs.indiana.edu
-
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>
-
Reply-to: caldwell@CS.Cornell.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
says
"All ideals are subject to treason, so too intuitionism."
Jim Caldwell