From newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!rpi!usc!cs.utexas.edu!uunet!trwacs!erwin Tue Jun  9 10:06:52 EDT 1992
Article 6074 of comp.ai.philosophy:
Path: newshub.ccs.yorku.ca!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!rpi!usc!cs.utexas.edu!uunet!trwacs!erwin
>From: erwin@trwacs.fp.trw.com (Harry Erwin)
Newsgroups: comp.ai.philosophy
Subject: Re: Quantum computing from sci.physics
Message-ID: <622@trwacs.fp.trw.com>
Date: 4 Jun 92 11:29:35 GMT
References: <73218@ut-emx.uucp> <1992Jun2.134530.19168@cs.ucf.edu>
Organization: TRW Systems Division, Fairfax VA
Lines: 15

This may imply that the halting problem for the Universal Turing Machine
may be equivalent (in some sense) to the problem of predicting the
dynamics of a general dynamic system, with the property of continuing to
execute forever being equated to the property of converging to a
non-trivial (or even strange) limit set. Has anyone followed up on this
line of thought? Does diagonalization correspond to an argument in ergodic
theory? Would a renormalization argument provide some insight into the
halting problem?

Just speculating,

-- 
Harry Erwin
Internet: erwin@trwacs.fp.trw.com



