Timeline for Simulating Turing machines with {O,P}DEs.
Current License: CC BY-SA 2.5
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Sep 25, 2012 at 0:08 | comment | added | Gil Kalai | A related blog discussion around here: rjlipton.wordpress.com/2012/09/16/quantum-repetition/… | |
| Mar 5, 2010 at 18:12 | comment | added | kakaz | "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 . | |
| Mar 5, 2010 at 4:26 | vote | accept | Mariano Suárez-Álvarez | ||
| Feb 15, 2010 at 4:35 | comment | added | François G. Dorais | @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. | |
| Feb 15, 2010 at 4:29 | answer | added | François G. Dorais | timeline score: 8 | |
| Feb 15, 2010 at 4:19 | comment | added | Joel David Hamkins | 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. | |
| Feb 15, 2010 at 4:07 | comment | added | j.c. | @Steve: This question seems relevant to your thoughts mathoverflow.net/questions/8396/… | |
| Feb 15, 2010 at 3:57 | comment | added | Steve Huntsman | 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. | |
| Feb 15, 2010 at 3:53 | answer | added | Steve Huntsman | timeline score: 28 | |
| Feb 15, 2010 at 3:49 | history | asked | Mariano Suárez-Álvarez | CC BY-SA 2.5 |