Timeline for What did the Intuitionists want to do with applied mathematics?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 10, 2018 at 3:31 | vote | accept | bimargulies | ||
| Aug 7, 2018 at 20:46 | history | edited | bimargulies | CC BY-SA 4.0 |
deleted 12 characters in body
|
| Aug 7, 2018 at 20:27 | comment | added | David Roberts♦ | It should be remarked that by now, by work of Ye, we know that finitistic foundations suffice for nearly all of the advanced mathematics used in physical theories. I don't recall how constructive it all is offhand, but I think it's Bishop-adjacent, at least. | |
| Aug 7, 2018 at 19:04 | answer | added | Timothy Chow | timeline score: 2 | |
| Aug 7, 2018 at 8:28 | answer | added | Andrej Bauer | timeline score: 11 | |
| Aug 7, 2018 at 7:32 | comment | added | Pietro Majer | Et cetera non et cetra. In fact, in this case, et ceteri, as the poor guys are not objects. However, one usually abbreviates &c. | |
| Aug 7, 2018 at 4:18 | history | asked | bimargulies | CC BY-SA 4.0 |