Timeline for The reals as continuous image of the irrationals
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 12, 2012 at 17:26 | history | edited | Andrej Bauer | CC BY-SA 3.0 |
added 437 characters in body; added 35 characters in body
|
| Nov 12, 2012 at 17:23 | comment | added | Andrej Bauer | Oops, I added a comment to that effect. | |
| Nov 12, 2012 at 17:00 | comment | added | Andrés E. Caicedo | @Emil Ah! It now makes sense. | |
| Nov 12, 2012 at 16:31 | comment | added | Emil Jeřábek | The only way I can make heads or tails of this formula is that $f$ is not an irrational number as requested by the OP, but an element of the Baire space, $f\colon\mathbb N\to\mathbb N$. Am I wrong? | |
| Nov 12, 2012 at 15:45 | history | answered | Andrej Bauer | CC BY-SA 3.0 |