From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!csd.unb.ca!morgan.ucs.mun.ca!nstn.ns.ca!news.cs.indiana.edu!mips!darwin.sura.net!europa.asd.contel.com!uunet!mcsun!uknet!mucs!fs1.mcc.ac.uk!zlsiida Mon May 25 14:06:42 EDT 1992
Article 5794 of comp.ai.philosophy:
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.ecf!utgpu!csd.unb.ca!morgan.ucs.mun.ca!nstn.ns.ca!news.cs.indiana.edu!mips!darwin.sura.net!europa.asd.contel.com!uunet!mcsun!uknet!mucs!fs1.mcc.ac.uk!zlsiida
>From: zlsiida@fs1.mcc.ac.uk (dave budd)
Newsgroups: comp.ai.philosophy
Subject: Re: penrose
Message-ID: <zlsiida.264@fs1.mcc.ac.uk>
Date: 20 May 92 08:44:56 GMT
References: <1992May18.194416.27171@hellgate.utah.edu> <1992May19.025328.5332@news.media.mit.edu> <1992May19.113549.9679@hellgate.utah.edu> <1992May19.194145.7008@saifr00.cfsat.honeywell.com> <1992May19.154746.20944@hellgate.utah.edu>
Sender: news@cs.man.ac.uk
Organization: Manchester Computing Centre
Lines: 13
Originator: netnews@uts.mcc.ac.uk

In article <1992May19.154746.20944@hellgate.utah.edu> tolman%asylum.utah.edu@cs.utah.edu (Kenneth Tolman) writes:

>Why did he set up this impossible goal, surely he would have realized it
>was impossible, for he was a smart dude, unless there was something else
>nagging him....

It's a common math method to prove something by disproving its complement.

+----Great Qoutes of our Time----------------------------------------+
|                 If we can't fix it, it ain't broke                 |
+--------------------------------------------------------------------+                                                                     
|  Dave Budd, MCC, Oxford Rd, Manchester, England  (44)061-275-6033  |
+--------------------------------------------------------------------+


