Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!sample.eng.ohio-state.edu!purdue!news.cs.indiana.edu!att!emory!wuarchive!kuhub.cc.ukans.edu!caen!dali.cs.montana.edu!milton!uw-beaver!ubc-cs!fornax!bremner From: bremner@fornax.UUCP (David Bremner) Newsgroups: comp.theory Subject: Re: Question on halting problem Summary: Ignorance .neq. Non-Existence Keywords: Ahem... Message-ID: <2603@fornax.UUCP> Date: 26 Apr 91 23:11:32 GMT References: <18974@crdgw1.crd.ge.com> Reply-To: bremner@cs.sfu.ca (David Bremner) Organization: School of Computing Science, SFU, Burnaby, B.C. Canada Lines: 8 I hate to be a wet blanket, but the fact that we do not have a proof of Fermat's last "theorem" does not actually prove that such a proof does not exist. Unless I missed something important... -- -------- bremner@cs.sfu.ca ubc-cs!fornax!bremner