Timeline for Hilbert's formalism and game formalism differences and similarities
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 17 at 15:49 | answer | added | Mikhail Katz | timeline score: 0 | |
| Nov 17 at 15:40 | history | edited | Mikhail Katz |
edited tags
|
|
| Feb 10, 2020 at 16:02 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Oct 13, 2019 at 16:02 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Sep 13, 2019 at 15:42 | history | edited | Frank Hubeny | CC BY-SA 4.0 |
grammar, spelling, formatting
|
| Sep 13, 2019 at 15:39 | answer | added | Frank Hubeny | timeline score: 3 | |
| Sep 12, 2019 at 18:55 | review | Close votes | |||
| Sep 13, 2019 at 7:25 | |||||
| Dec 15, 2016 at 7:24 | review | Close votes | |||
| Dec 19, 2016 at 15:33 | |||||
| Dec 14, 2016 at 13:04 | comment | added | Mauro ALLEGRANZA | For more details, see : Alan Weir, Truth Through Proof : A Formalist Foundation for Mathematics (2010). | |
| Dec 14, 2016 at 12:57 | comment | added | Mauro ALLEGRANZA | On Hilbert's Phil of Math, see Hilbert's Program. | |
| Dec 14, 2016 at 12:19 | comment | added | Mauro ALLEGRANZA | What do you mean with "game formalism" ? | |
| Dec 14, 2016 at 12:14 | history | asked | NotSure | CC BY-SA 3.0 |