Newsgroups: comp.ai.philosophy
Path: cantaloupe.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!gatech!psuvax1!news.ecn.bgu.edu!siemens!princeton!grapes.princeton.edu!tao
From: tao@grapes.princeton.edu (Terry Tao)
Subject: Re: Penrose's Goedel-type argument (LONG)
Message-ID: <1994Dec19.114545.23537@Princeton.EDU>
Originator: news@hedgehog.Princeton.EDU
Sender: news@Princeton.EDU (USENET News System)
Nntp-Posting-Host: vinifera.princeton.edu
Organization: Princeton University
References: <3cs1n8$3vn@sunserver.lrz-muenchen.de>
Date: Mon, 19 Dec 1994 11:45:45 GMT
Lines: 207
