Timeline for Is every computable real primitively recursively computable?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 12, 2016 at 13:51 | history | edited | Sean Lawton | CC BY-SA 3.0 |
Minor edits to formatting, added some dollar signs.
|
| Sep 7, 2015 at 18:55 | vote | accept | Garabed Gulbenkian | ||
| Sep 6, 2015 at 18:08 | history | edited | Andrej Bauer | CC BY-SA 3.0 |
A better title.
|
| Sep 6, 2015 at 18:07 | comment | added | Andrej Bauer | You could just ask: Is every real number that is the limit of a computable Cauchy sequence of rationals with a fixed rate of convergence also the limit of a primitive recursive such sequence? | |
| Sep 6, 2015 at 18:06 | answer | added | Bjørn Kjos-Hanssen | timeline score: 6 | |
| Sep 6, 2015 at 17:50 | history | asked | Garabed Gulbenkian | CC BY-SA 3.0 |