Newsgroups: comp.ai.philosophy,sci.logic
Path: cantaloupe.srv.cs.cmu.edu!rochester!udel!news.mathworks.com!europa.chnt.gtegsc.com!howland.reston.ans.net!cs.utexas.edu!utnut!utgpu!pindor
From: pindor@gpu.utcc.utoronto.ca (Andrzej Pindor)
Subject: Re: Lucas & Penrose's use of Godel
Message-ID: <DBD1Kp.21A@gpu.utcc.utoronto.ca>
Organization: UTCC Public Access
References: <3t0u49$p32@netnews.upenn.edu> <3tbeth$j2m@hamilton.maths.tcd.ie> <3tdqb1$b5u@toves.cs.city.ac.uk> <3ti16e$ka8@bell.maths.tcd.ie>
Date: Fri, 7 Jul 1995 19:17:13 GMT
Lines: 26
Xref: glinda.oz.cs.cmu.edu comp.ai.philosophy:29714 sci.logic:11988
