Newsgroups: sci.logic,comp.ai.philosophy
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news4.ner.bbnplanet.net!news3.near.net!paperboy.wellfleet.com!news-feed-1.peachnet.edu!gatech!howland.reston.ans.net!usc!news.cerf.net!netlabs!lwall
From: lwall@netlabs.com (Larry Wall)
Subject: Re: Putnam reviews Penrose.
Message-ID: <1995Jul12.164615.18813@netlabs.com>
Organization: NetLabs, Inc., Los Altos, California.
References: <3ss4sm$cjd@mp.cs.niu.edu> <3trblc$em9@netnews.upenn.edu> <jqbDBIEFq.C54@netcom.com> <3ts3kf$aa3@netnews.upenn.edu>
Date: Wed, 12 Jul 1995 16:46:15 GMT
X-Original-Newsgroups: sci.logic,comp.ai.philosophy
Lines: 10
Xref: glinda.oz.cs.cmu.edu sci.logic:12248 comp.ai.philosophy:30004

In article <3ts3kf$aa3@netnews.upenn.edu>,
Matthew P Wiener <weemba@sagi.wistar.upenn.edu> wrote:
: Very good.  _You_ did a good job.  Perl sucks at math, either way.

So does the interstate highway system, which nevertheless computes
a rather interesting function.  But is reality a formal system?
If you can decide that, you can decide a lot of other things.

Larry Wall
lwall@netlabs.com
