Timeline for Alive dynamical system
Current License: CC BY-SA 2.5
6 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/
|
|
| Mar 1, 2010 at 11:19 | history | edited | kakaz | CC BY-SA 2.5 |
added 284 characters in body
|
| Feb 28, 2010 at 22:19 | history | edited | kakaz | CC BY-SA 2.5 |
added 711 characters in body
|
| Feb 28, 2010 at 21:58 | comment | added | kakaz | I mean straight thing: to have subsystem which is equivalent (homeomorphic?) to some "minimal subset of PA". From my point of view interesting part is: what is "minimal subset of PA" which allows UTM construction. My intention was to check, if You have some model ( in fact some real mathematic system) what class of "reasonable theories" allow You to axiomatize it. But it seems to be too broad, exactly as in Your question;-) | |
| Feb 28, 2010 at 20:34 | comment | added | Anton Petrunin | Main question is what do you mean by "embedding" Practically any dynamical system can be can be "embedded" (in some sense) in a shift space (and I do not want it to be "alive"). | |
| Feb 28, 2010 at 19:19 | history | answered | kakaz | CC BY-SA 2.5 |