Timeline for Intermediate value theorem on computable reals
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 2, 2010 at 11:09 | comment | added | Neel Krishnaswami | Thanks! I think I didn't really understand what continuity did and didn't do until I understood why the approximate version didn't imply the full version, constructively. It's a little embarrassing to admit that I didn't get high-school mathematics, but only a little: high-school mathematics is some of the greatest mathematics (in Whitehead's sense) ever created. | |
| Jan 1, 2010 at 18:42 | comment | added | Paul Taylor | This is known as the "approximate" intermediate value theorem. | |
| Dec 15, 2009 at 16:59 | history | answered | Neel Krishnaswami | CC BY-SA 2.5 |