Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Qiaochu Yuan in his answer to this question recalls a blog post (specifically, comment 16 therein) by Terry Tao:

For instance, one cannot hope to find an algorithm to determine the existence of smooth solutions to arbitrary nonlinear partial differential equations, because it is possible to simulate a Turing machine using the laws of classical physics, which in turn can be modeled using (a moderately complicated system of) nonlinear PDE

  • Is this "it is possible" an application of a Newton thesis, much as the usual Church-Turing thesis, going along the lines of «if something is imaginably doable in real life, one can simulate it with the usual equations of physics», or has the simulation actually been actually carried out?

  • Does one need PDEs to simulate Turing machines, or are ODEs good enough?

share|improve this question
    
We might consider a generalized "Church-Turing-Wheeler" thesis effectively maintaining that algorithms can describe physical processes, or more glibly, that computational physics is a legitimate activity. In one sense this is not far from Turing’s conception of an algorithm as a “mechanical process”, but at the same time it represents a closing of the putative loop joining physical, computational, and mathematical processes. –  Steve Huntsman Feb 15 '10 at 3:57
2  
@Steve: This question seems relevant to your thoughts mathoverflow.net/questions/8396/… –  j.c. Feb 15 '10 at 4:07
4  
I seem to remember hearing Smale and the dynamicists in Berkeley (his students, etc.) saying that the question of whether a given system was chaotic was undecidable. I think they had very specific equations, with a natural number parameter, and the set of parameters for which the system exhibited various forms of chaos was an undecidable set. –  Joel David Hamkins Feb 15 '10 at 4:19
3  
@Joel: I think this is contained in the classic paper by Blum, Shub, and Smale where they describe their model of computation over the reals. –  François G. Dorais Feb 15 '10 at 4:35
    
"algorithms can describe physical processes" - what You call "physical processes" is some simplification and synthesis of real processes we observe in nature. It is disputable if physical model describes the whole reality or only important ( and simple) part of it . –  kakaz Mar 5 '10 at 18:12
show 1 more comment

2 Answers

up vote 21 down vote accepted

ODEs are good enough. Your comment got me started digging.

share|improve this answer
add comment

I believe that the reference is to seminal work of Pour-El and Richards where they measure the computational contents of various types of classical systems of partial differential equations. They have a series of papers where they carry this out; I believe much of it can be found in their book Computability in analysis and physics (Perspectives in Mathematical Logic, Springer-Verlag, 1989). There are other approaches to this, but they all reach essentially the same conclusions. Pour-El and Richards have the advantage that they concentrate on specific systems that actually arise in physics, such as the wave equation.

share|improve this answer
1  
Available on Project Euclid: projecteuclid.org/euclid.pl/1235422916 –  Kaveh Oct 28 '11 at 10:57
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.