* Re: incompleteness of ZF
1999-04-06 21:41 ` F W Lawvere
@ 1999-04-07 23:45 ` R.A.G. Seely
1999-04-08 13:08 ` April 1st & related matters Robert Dawson
1 sibling, 0 replies; 4+ messages in thread
From: R.A.G. Seely @ 1999-04-07 23:45 UTC (permalink / raw)
To: Categories List
On Tue, 6 Apr 1999, F W Lawvere wrote:
> 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.
Curiously, my reaction to this has been rather different. We were
discussing Paul's note after the seminar here the other day, and apart
from one reply, I rather had the idea that most replies were aware
that this was a joke, but that it was a subtle one (not all that
subtle, perhaps, but a lot more subtle that what often passes as
humour on the net, for sure). And that finding the error was a
respectable response.
As for spreading disinformation, there has been no shortage of people
who look serious, (I avoid the harder question as to whether they are,
and what exactly that ought to mean) and who have been spreading tales
of the inconsistency of maths for decades. As a graduate student, I
often attended logic meetings where Edward Wette proved ever more
basic fragments of our subject inconsistent (I recall he got as far as
propositional logic, Peano arithmetic, and several branches of
physics. I am not sure he made any serious distinction between the
last case and the others.) Perhaps one point here is that anyone who
believes all he reads is a fool, and anyone who believes all he reads
on the net is a fool who cannot even learn from experience. (It takes
about 5 minutes to uncover patently silly things on the net! - not
even counting this one...)
So - I agree Bill raises a serious matter, but I think in this case it
may be an overreaction. Paul's note was certainly "fishy" (French
reference for those not in a French environment), but it was
essentially harmless. This group is comparitively closed (even your
average academic journal is probably more open). And if anyone missed
the joke up to now, surely that has been remedied. (If only in that
refutations appeared quickly.)
However, if I see a report on this on "60 minutes" I will eat my
hat...
- all the best, Robert
= rags =
=================================
<rags@math.mcgill.ca>
<http://www.math.mcgill.ca/~rags>
^ permalink raw reply [flat|nested] 4+ messages in thread
* April 1st & related matters
1999-04-06 21:41 ` F W Lawvere
1999-04-07 23:45 ` R.A.G. Seely
@ 1999-04-08 13:08 ` Robert Dawson
1 sibling, 0 replies; 4+ messages in thread
From: Robert Dawson @ 1999-04-08 13:08 UTC (permalink / raw)
To: CATEGORIES
[Note from Moderator: With the posts just sent, this discussion should
come to a close. Readers of the list, and those posting to it, should be
aware that it contains about 500 addresses.]
*Had* Paul posted his clever hoax on, say, sci.math (which, AFAIK, he
did not) where it would be widely available to J. Random Lurker, I would
share Bill Lawvere's concerns. Had he placed it permanently on his web
server, with a big flashing link from his home page, advertised it by
spamming 100,000 random netizens, and issued a trilingual press release, I
would share those concerns to a much greater extent. However, CATEGORIES is
a mailing list; probably everybody who received Paul's posting also received
the two debunkings, Bill's comment, and is reading this even as, er, they
read this. I don't imagine that we *have* hundreds of lurkers. (Lurkers!
Please identify yourselves... I'm curious.)
While Bill is undoubtedly correct that not all readers of CATEGORIES
share his ability to look at Paul's joke and instantly recognize not only
the fallacy but its antecedents [I offer myself as a proof of the
nonemptiness of the complement], surely we all have been around the block
enough times to distinguish between a full formal proof and what Paul
presented? Even had it been in earnest, such an announcement would justify
only the reaction "Somebody thinks he's shown ... but I don't think he has
circulated a complete proof yet."
I suppose that it is possible that somebody, browsing at random, *might*
find it in the CATEGORIES archives, in years to come, and not read ahead to
find out what the world had had to say about this discovery back in the mad,
exciting days of the late C20. But anybody who could do this and not
realize that there was something odd going on would probably either (a) not
understand why anybody should care if ZF is consistent or not, or (b) have a
vague feeling that Goedel, or Escher, or somebody, already proved that, or
something, didn't he?
-Robert Dawson
^ permalink raw reply [flat|nested] 4+ messages in thread