Timeline for Is any Cauchy sequence for completion of rational semicomputable?
Current License: CC BY-SA 3.0
19 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 20, 2017 at 22:43 | vote | accept | XL _At_Here_There | ||
| Aug 20, 2017 at 22:43 | vote | accept | XL _At_Here_There | ||
| Aug 20, 2017 at 22:43 | |||||
| Aug 20, 2017 at 22:40 | vote | accept | XL _At_Here_There | ||
| Aug 20, 2017 at 22:43 | |||||
| Aug 20, 2017 at 22:40 | vote | accept | XL _At_Here_There | ||
| Aug 20, 2017 at 22:40 | |||||
| Aug 20, 2017 at 21:01 | history | edited | YCor |
edited tags
|
|
| S Aug 20, 2017 at 20:48 | history | suggested | CommunityBot | CC BY-SA 3.0 |
Improve wording and grammar
|
| Aug 20, 2017 at 20:46 | review | Suggested edits | |||
| S Aug 20, 2017 at 20:48 | |||||
| Aug 20, 2017 at 19:39 | comment | added | Andrej Bauer | What is this "non-computable problem" you speak of? There is no such problem. | |
| Aug 20, 2017 at 19:37 | answer | added | Andrej Bauer | timeline score: 7 | |
| Aug 20, 2017 at 16:03 | history | edited | XL _At_Here_There | CC BY-SA 3.0 |
added 146 characters in body
|
| Aug 20, 2017 at 15:32 | answer | added | Carl Mummert | timeline score: 4 | |
| Aug 20, 2017 at 15:30 | comment | added | XL _At_Here_There | regarding the first question, I think classic math solves problems in a unclear even loose way, almost jump over gap. | |
| Aug 20, 2017 at 15:27 | history | edited | XL _At_Here_There | CC BY-SA 3.0 |
added 19 characters in body
|
| Aug 20, 2017 at 15:19 | comment | added | XL _At_Here_There | @CarlMummert thank you for your eliminating the URL. | |
| Aug 20, 2017 at 15:17 | comment | added | XL _At_Here_There | @CarlMummert I am not familiar with constructive theories of the real line work, I wonder if there is constructive theories of the real which is based on Cauchy sequence, specifically, how to overcom the non-computable problem of some (in fact,uncountably many) Cauchy sequence by which to complete rationals system. | |
| Aug 20, 2017 at 15:12 | comment | added | Carl Mummert | I'm sure the book is copyrighted, since it was published in 1997. For question 1, are you asking how constructive theories of the real line work? | |
| Aug 20, 2017 at 15:05 | comment | added | XL _At_Here_There | @Carl Mummert thank you for your editing, and the URL for LI and Vitanyi has just been googled out, I am not sure whether there is copyright problem. | |
| Aug 20, 2017 at 14:57 | history | edited | Carl Mummert | CC BY-SA 3.0 |
deleted 115 characters in body
|
| Aug 20, 2017 at 14:39 | history | asked | XL _At_Here_There | CC BY-SA 3.0 |