From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1102 Path: news.gmane.org!not-for-mail From: Michael Abbott Newsgroups: gmane.science.mathematics.categories Subject: RE: incompleteness of ZF Date: Thu, 8 Apr 1999 08:49:35 +0100 Message-ID: <217F6DFA440ED111ACDA00A0C906B006109ABC@arsenic.rcp.co.uk> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1241017568 29520 80.91.229.2 (29 Apr 2009 15:06:08 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:06:08 +0000 (UTC) To: "'wlawvere@ACSU.Buffalo.EDU'" , "'CATEGORIES@mta.ca'" Original-X-From: cat-dist Thu Apr 8 12:11:40 1999 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.9.3/8.9.3) id KAA15575 for categories-list; Thu, 8 Apr 1999 10:44:27 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Mailer: Internet Mail Service (5.5.1960.3) Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 40 Xref: news.gmane.org gmane.science.mathematics.categories:1102 Archived-At: As a lurker who failed to either notice the date or understand any detail of Paul's demonstration, I appreciate Lawvere's comments. I do feel, though, that he is overstating the impact of Paul's little jest. There were several immediate replies (to the effect, I think, that F(lim X) is not lim F X), and no riposte from Paul. My own reaction was: hmm, it'll be interesting if anything else comes out of this. I sympathise very much with Paul's "anti-ZF" stance; after all, hasn't Lawvere set the basis for a non-set foundation of practical mathematics? -----Original Message----- From: cat-dist@mta.ca [mailto:cat-dist@mta.ca]On Behalf Of F W Lawvere Sent: 06 April 1999 22:41 To: CATEGORIES@mta.ca Subject: categories: Re: incompleteness of ZF Using an old logician's trick (see eg Feferman on paths thru O, or even Goedel's original papers) as an April Fool joke may be amusing to some within the closed gates of a British University, but is irresponsible on the world network. Think of the hundreds of lurkers (who hesitate to speak up so that misconceptions can be discussed and clarified openly, but) who are now furthering the rumor that mathematics has somehow been proved inconsistent.The waves of such disinformation can last for years or even decades. ************************************************************************ ******* F. William Lawvere Mathematics Dept. SUNY wlawvere@acsu.buffalo.edu 106 Diefendorf Hall 716-829-2144 ext. 117 Buffalo, N.Y. 14214, USA ************************************************************************ *******