Newsgroups: sci.logic,comp.ai.philosophy,sci.physics
Path: cantaloupe.srv.cs.cmu.edu!nntp.club.cc.cmu.edu!miner.usbm.gov!rsg1.er.usgs.gov!stc06.ctd.ornl.gov!fnnews.fnal.gov!usenet.eel.ufl.edu!news.mathworks.com!uunet!in1.uu.net!chronicle.mv.us.adobe.com!adobe!wtyler
From: wtyler@mv.us.adobe.com (William Tyler)
Subject: Re: Godel: Is it too obvious to understand?
Message-ID: <1995Aug7.202942.21916@adobe.com>
Sender: usenet@adobe.com (USENET NEWS)
Organization: Adobe Systems Inc., Mountain View, CA
References: <3vqnpb$7h3@mtnmath.com> <jqbDCrsoq.A6t@netcom.com> <400sh0$648@mtnmath.com>
Date: Mon, 7 Aug 1995 20:29:42 GMT
Lines: 14
Xref: glinda.oz.cs.cmu.edu sci.logic:13700 comp.ai.philosophy:31386 sci.physics:133326

In article <400sh0$648@mtnmath.com> paul@mtnmath.com (Paul Budnik) writes:
>
>I did not say you can defeat Godel I said you can avoid him. It is
>totally trivial to write a nondeterministic process to explore every
>possible formal system. Godel's result only applies if a choice must
>be made between these alternatives. 
>

Having built this system, how do you know when it's done working :-)

Bill

-- 
Bill Tyler   wtyler@adobe.com    Adobe is not responsible for my opinions.
