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