[comp.ai] Intuitionist logic

bwk@mbunix.mitre.org (Barry W. Kort) (02/20/89)

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