Timeline for Contrasting theorems in classical logic and constructivism
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 11, 2021 at 19:27 | history | made wiki | Post Made Community Wiki by Stefan Kohl♦ | ||
| Mar 29, 2020 at 22:55 | vote | accept | VS. | ||
| Mar 28, 2020 at 21:31 | comment | added | Andrej Bauer | Brouwerian counterexamples are mostly good for convincing classical mathematicians that intuitionism makes no sense. | |
| Mar 28, 2020 at 16:52 | history | became hot network question | |||
| Mar 28, 2020 at 16:13 | answer | added | Andrej Bauer | timeline score: 19 | |
| Mar 28, 2020 at 10:06 | answer | added | Franka Waaldijk | timeline score: 12 | |
| Mar 28, 2020 at 8:40 | review | Close votes | |||
| Mar 28, 2020 at 12:05 | |||||
| Mar 28, 2020 at 8:27 | comment | added | Dave L Renfro | Relevant, I think, are Brouwerian counterexamples. There are also no doubt many examples such as the following: Osvald Demuth, The differentiability of constructive functions (Russian, 1969). The MR review begins: "An increasing constructive function $[\cdots]$ on the constructive interval $[0,1]$ is given which $[\cdots]$ is nowhere differentiable." | |
| Mar 28, 2020 at 7:00 | history | edited | VS. | CC BY-SA 4.0 |
added 34 characters in body
|
| Mar 28, 2020 at 6:53 | history | asked | VS. | CC BY-SA 4.0 |