Timeline for Essential reads in the philosophy of mathematics and set theory
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 28 at 5:34 | comment | added | David Roberts♦ | Amusingly, there is this more recent paper: Jonathan Kirby, Up with Categories, Down with Sets; Out with Categories, In with Sets! doi.org/10.1093/philmat/nkae010 the title of which might not be unrelated to that Lawvere post | |
| May 23, 2020 at 17:07 | history | edited | Glorfindel | CC BY-SA 4.0 |
2 broken links fixed
|
| Dec 14, 2012 at 1:35 | history | made wiki | Post Made Community Wiki by S. Carnahan♦ | ||
| Apr 18, 2012 at 17:00 | comment | added | Andrej Bauer | For me Stephen Simpson was the star of those discussions. But I certainly wouldn't recommend reading old FOM archives. Most of it is very boring, and the interesting parts are detrimental to mental health. | |
| Apr 18, 2012 at 9:57 | comment | added | Tom Leinster | I second Ed's recommendation. This is one of my favourite papers. The FOM archive discussions on categorical set theory contain some real poison, though: it's amazing the depths to which they sometimes sank. (I'm not pointing at Friedman or Pratt here.) | |
| Apr 18, 2012 at 8:32 | comment | added | Ed Dean | Colin McLarty's "Exploring Categorical Structuralism" (cwru.edu/artsci/phil/PMExploring.pdf) is another follow-up in the Awodey/Hellman series. Also, one can find in the FOM archives many instances through the years of Harvey Friedman and Vaughan Pratt debating the merits of category-theoretic foundations. | |
| Apr 18, 2012 at 7:50 | history | edited | Andrej Bauer | CC BY-SA 3.0 |
added 28 characters in body
|
| Apr 18, 2012 at 7:41 | history | edited | Andrej Bauer | CC BY-SA 3.0 |
added 147 characters in body
|
| Apr 18, 2012 at 7:35 | history | answered | Andrej Bauer | CC BY-SA 3.0 |