Timeline for Is any Cauchy sequence for completion of rational semicomputable?
Current License: CC BY-SA 3.0
5 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 | |||||
| Aug 20, 2017 at 22:40 | vote | accept | XL _At_Here_There | ||
| Aug 20, 2017 at 22:40 | |||||
| Aug 20, 2017 at 16:22 | comment | added | XL _At_Here_There | Those mean there are some idea or approaches that are beyond the constructive theory in completion of rational system. Or maybe I can say, that constructive theories can not overcome the non-computable problem of some (in fact,uncountably many) Cauchy sequence by which to complete rationals system. | |
| Aug 20, 2017 at 15:57 | comment | added | XL _At_Here_There | Thank you for your answer, and the question 1 is answered, let's wait for the answer of the second question which seemingly is complex, I think there are at least two ideas behind it, possibly, the two may be reduced to one. | |
| Aug 20, 2017 at 15:32 | history | answered | Carl Mummert | CC BY-SA 3.0 |