Timeline for Why is the notion of algorithm a primitive one in Brouwer's intuitionism?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 30, 2016 at 3:53 | vote | accept | StudentType | ||
| Nov 29, 2016 at 11:05 | answer | added | Franka Waaldijk | timeline score: 4 | |
| Nov 29, 2016 at 7:23 | comment | added | Andrej Bauer | Wouldn't this question stand a better change of getting a good answer at hsm.stackexchange.com? | |
| Nov 29, 2016 at 6:57 | answer | added | Andreas Blass | timeline score: 4 | |
| Nov 29, 2016 at 6:18 | history | asked | StudentType | CC BY-SA 3.0 |