Path: utzoo!attcan!uunet!husc6!linus!mbunix!bwk
From: bwk@mitre-bedford.ARPA (Barry W. Kort)
Newsgroups: comp.ai
Subject: Re: Artificial Intelligence and Laughter
Message-ID: <41567@linus.UUCP>
Date: 6 Nov 88 10:34:12 GMT
References: <466@soleil.UUCP>
Sender: news@linus.UUCP
Reply-To: bwk@mbunix (Kort)
Organization: International Malefactor and Fulinator, Roaring Rapids, ME
Lines: 19

In article <466@soleil.UUCP> peru@soleil.UUCP (Dave Peru) writes:
 > In message <41420@linus.UUCP> Mr. Kort writes:
 > 
 > > Do you suppose it is a coincidence that mathematicians refer
 > > to inconsistency as "Reductio ad Absurdum"?
 > 
 > This idea was expressed by the same mathematicians who at the
 > beginning of this century thought you could make a perfect system
 > of mathematics.  Mr. Kort, have you created a perfect system of
 > mathematics that we are not aware of?

I didn't realize Russel and Whitehead thought *I* could create
such a system.  However, I can report that my efforts to
create a complete and consistent system of mathematics will
be completed about the same time as I finish calculating the
details of the Mandelbrot set.  (It should be converging any
day now....)

--Barry Kort