Timeline for Intermediate value theorem on computable reals
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Jul 30, 2023 at 5:40 | history | suggested | C7X | CC BY-SA 4.0 |
MathJaxify + Markdownify
|
| Jul 30, 2023 at 3:40 | review | Suggested edits | |||
| S Jul 30, 2023 at 5:40 | |||||
| Oct 12, 2021 at 19:03 | history | edited | Martin Sleziak | CC BY-SA 4.0 |
http -> https (the question was bumped anyway)
|
| Jan 1, 2010 at 16:35 | comment | added | Paul Taylor | Vasco Brattka, the most prominent of Weihrauch's followers, commented <a href="cs.nyu.edu/pipermail/fom/2009-May/013776.html"> on the FOM list<a> that the constructive critique of the IVT may be interpreted classically as (the failure of) a <i>uniform</i> assignment of a zero, ie continuously wrt the function (or parameters that describe it). This is the only observation about the IVT that I have heard from that school since I presented my paper on the IVT at <a href="cca-net.de/cca2005/">their conference</a>. | |
| Dec 17, 2009 at 6:49 | vote | accept | Jason Orendorff | ||
| Dec 16, 2009 at 18:19 | history | answered | Joel David Hamkins | CC BY-SA 2.5 |