Path: utzoo!news-server.csri.toronto.edu!cs.utexas.edu!uunet!spool.mu.edu!sdd.hp.com!wuarchive!mit-eddie!bloom-beacon!dont-send-mail-to-path-lines From: ACW@YUKON.SCRC.Symbolics.COM (Allan C. Wechsler) Newsgroups: comp.theory.cell-automata Subject: Re: Berelekamp/Conway proof... Message-ID: <19910304164649.9.ACW@WHIMBREL.SCRC.Symbolics.COM> Date: 4 Mar 91 16:46:00 GMT References: <9103012131.AA29527@tekchips.LABS.TEK.COM> Sender: daemon@athena.mit.edu (Mr Background) Distribution: inet Organization: The Internet Lines: 11 Date: Fri, 1 Mar 1991 16:31 EST From: scott%tekchips.labs.tek.com@RELAY.CS.NET > It seems that your qualms about the argument in Winning Ways could cause > you to doubt the existence of a Constructor but not of a Computer. Right. Do you have any arguments or constructions either suppporting or refuting their Constructor? I'd have to refer you to Gosper -- RWG@Symbolics.COM.