Re: Turtles All the Way Down

Article View: sci.cognitive

Article #706

#706

From: SAKAS WILLIAM
Date: Thu, 13 Oct 1994 12:41

8 lines
1348 bytes

In article <adh.34.000CFD75@cx.dnv.no>, adh@cx.dnv.no (Arne Dehli Halvorsen) writes...

>Has it been settled that Godel's theorem is less valid for analog systems?

Godel's theorem relies on being able to strictly number proofs. 
Which seems to imply that it's not valid for analog systems.

-- Wm

Technical Details

Message-ID: <13OCT199407414065@cunyvms1.gc.cuny.edu>

Path:

arc1-ca.pugleaf.net!bga.com!news.sprintlink.net!howland.reston.ans.net!europa.eng.gtefsd.com!newsxfer.itd.umich.edu!jobone!lynx.unm.edu!fg1.plk.af.mil!mammoth.cs.unm.edu!ees1a0.engr.ccny.cuny.edu!timessqr.gc.cuny.edu!cunyvms1.gc.cuny.edu!sak

References: <37f794$ipf@portal.gmu.edu> <adh.34.000CFD75@cx.dnv.no>

Show Full Headers

Complete Article Headers

X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 1045ed,fd68b54591b3153e
X-Google-Attributes: gid1045ed,public
X-Google-Thread: 10681a,fd68b54591b3153e
X-Google-Attributes: gid10681a,public
X-Google-Thread: 10ca9b,fd68b54591b3153e
X-Google-Attributes: gid10ca9b,public
X-Google-ArrivalTime: 1994-10-14 08:45:08 PST
Newsgroups: sci.cognitive,bionet.neuroscience,comp.ai.philosophy
Path: arc1-ca.pugleaf.net!bga.com!news.sprintlink.net!howland.reston.ans.net!europa.eng.gtefsd.com!newsxfer.itd.umich.edu!jobone!lynx.unm.edu!fg1.plk.af.mil!mammoth.cs.unm.edu!ees1a0.engr.ccny.cuny.edu!timessqr.gc.cuny.edu!cunyvms1.gc.cuny.edu!sak
From: sak@cunyvms1.gc.cuny.edu (SAKAS WILLIAM)
Subject: Re: Turtles All the Way Down
Message-ID: <13OCT199407414065@cunyvms1.gc.cuny.edu>
News-Software: VAX/VMS VNEWS 1.41    
Sender: news@timessqr.gc.cuny.edu (USENET News System)
Organization: Graduate School and University Center, CUNY, New York
References: <37f794$ipf@portal.gmu.edu> <adh.34.000CFD75@cx.dnv.no>
Date: 13 Oct 1994 07:41 EST  
Lines: 9

Reply to Parent Message