Timeline for Intuitionistic consistency of surjection from naturals to reals
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 26, 2022 at 15:54 | answer | added | Sridhar Ramesh | timeline score: 9 | |
| Aug 31, 2012 at 12:39 | vote | accept | Sridhar Ramesh | ||
| Aug 31, 2012 at 12:32 | comment | added | Sridhar Ramesh | Ah, I was right to be unconvinced by my self-convincing, then... :) | |
| Aug 31, 2012 at 10:42 | answer | added | Andrej Bauer | timeline score: 16 | |
| Aug 31, 2012 at 8:12 | comment | added | Wouter Stekelenburg | You are wrong about the effective topos. The real numbers are a quotient of a set the natural number there, but this covering set is not the image of a function $\mathbb N\to\mathbb N$. | |
| Aug 31, 2012 at 6:20 | history | edited | Sridhar Ramesh | CC BY-SA 3.0 |
deleted 1 characters in body
|
| Aug 31, 2012 at 6:11 | history | asked | Sridhar Ramesh | CC BY-SA 3.0 |