Timeline for Are all rational exactly solvable differential equations known?
Current License: CC BY-SA 3.0
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/
|
|
| Jul 19, 2015 at 11:28 | vote | accept | Arnold Neumaier | ||
| Mar 17, 2015 at 22:12 | history | edited | Loïc Teyssier | CC BY-SA 3.0 |
added 286 characters in body
|
| Mar 17, 2015 at 16:55 | comment | added | Loïc Teyssier | Nothing, I understood what you said. I just included the second piece because if you want to achieve effective, concrete algorithms then the issue pops up (although it also does in the first piece). But I understood your concern was at a higher-level of calculability. That being said, I still somehow believe that a lot of undecidability lies down there ;) | |
| Mar 17, 2015 at 16:29 | comment | added | Arnold Neumaier | I allow all real operations including comparison of two numbers for equality or sign. Thus the solution $x=ct^\lambda$ of your example differential equation is perfectly valid. What did I formulate wrongly to seemingly exclude this? | |
| Mar 17, 2015 at 16:20 | history | answered | Loïc Teyssier | CC BY-SA 3.0 |