Timeline for Applications of nonconstructive mathematics
Current License: CC BY-SA 3.0
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 20, 2012 at 21:21 | answer | added | none | timeline score: 2 | |
| May 16, 2012 at 0:23 | answer | added | Daniel Moskovich | timeline score: 7 | |
| May 15, 2012 at 11:28 | vote | accept | Ruud Koot | ||
| May 14, 2012 at 20:55 | answer | added | Andrej Bauer | timeline score: 39 | |
| May 14, 2012 at 18:43 | history | made wiki | Post Made Community Wiki by François G. Dorais | ||
| May 14, 2012 at 18:39 | answer | added | Jason Rute | timeline score: 6 | |
| May 14, 2012 at 17:24 | answer | added | none | timeline score: 3 | |
| May 14, 2012 at 16:20 | answer | added | Igor Rivin | timeline score: 9 | |
| May 14, 2012 at 16:16 | comment | added | Ruud Koot | @Robert Israel: The former. | |
| May 14, 2012 at 16:07 | answer | added | Henry Towsner | timeline score: 6 | |
| May 14, 2012 at 16:06 | comment | added | Robert Israel | Which sort of "constructively" are you referring to? Errett Bishop's constructivism, for example, or just avoiding the use of the Axiom of Choice? | |
| May 14, 2012 at 16:04 | answer | added | Felix Goldberg | timeline score: 1 | |
| May 14, 2012 at 15:49 | history | asked | Ruud Koot | CC BY-SA 3.0 |