Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!bloom-beacon!apple!voder!pyramid!prls!philabs!linus!mbunix!bwk
From: bwk@mbunix.mitre.org (Barry W. Kort)
Newsgroups: comp.ai
Subject: Intuitionist logic
Summary: Please continue.
Keywords: Heyting, Fitting, Kripke, Campin
Message-ID: <45127@linus.UUCP>
Date: 20 Feb 89 07:12:38 GMT
References: <1883@buengc.BU.EDU> <2996@uhccux.uhcc.hawaii.edu> <905@ubu.warwick.UUCP> <479@aipna.ed.ac.uk> <1036@hudson.acc.virginia.edu> <3715@uklirb.UUCP> <44071@linus.UUCP> <3091@silver.bacs.indiana.edu> <44270@linus.UUCP> <17219@iuvax.cs.indiana.edu> <2427@crete.
Sender: news@linus.UUCP
Reply-To: bwk@mbunix.mitre.org (Barry Kort)
Organization: IdeaSync, Inc., Chronos, VT
Lines: 17

In a previous article, I wrote:

 > I was hoping to propel us into a journey of discovery of
 > intuitionist logic.

I would like to thank Jack Campin for leading us into a discussion
of this subject.  I was especially intrigued by Jack's reference
to L. E. J. Brouwer.  Is this the same Brouwer who, with Kakutani,
formulated the Theory of Fixed Points?  (I seem to recall a slightly
different spelling, so perhaps I am confusing two mathematicians
with similar names.)

Jack, I hope you will continue to enlighten us on the contributions
of intuitionist logic.  I am looking forward to learning more from
you on this topic.

--Barry Kort