Timeline for Online, evolving, collaborative foundational text projects
Current License: CC BY-SA 4.0
23 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 24 at 16:22 | answer | added | Naïm Favier | timeline score: 3 | |
| May 6 at 15:38 | answer | added | Emily | timeline score: 8 | |
| Sep 15, 2020 at 4:11 | answer | added | Antoine Labelle | timeline score: 2 | |
| Aug 29, 2020 at 8:23 | comment | added | Bas Spitters | How about Homotopy type theory? There is a book about foundational mathematics, written under a pseudonym, and various evolving libraries of formal mathematics. | |
| Aug 28, 2020 at 1:17 | comment | added | Dmitri Pavlov | @pbelmans: Then why not supply your own statistics for the git repository, computed in a way that you deem appropriate, if you think that my statistics is substantially distorted? I've looked at the tag 06LB, and the total amount of text presented there inside the cited links appears to be consistent with my previously cited estimate of external contributions comprising less than 1% of total material. | |
| Aug 25, 2020 at 19:46 | answer | added | Kevin Buzzard | timeline score: 31 | |
| Aug 23, 2020 at 19:54 | comment | added | user163840 | @pbelmans: Your link leads to CRings, an open source collaborative project inspired by the Stacks project and meant to provide the commutative algebra background material. It doesn't seem to be active currently - last GitHub entry is from 7 years ago and some of the links don't work - but the final result (?) is downloadable as a PDF file from math.uchicago.edu/~amathew/cr.html and looks pretty substantial. | |
| Aug 23, 2020 at 4:42 | comment | added | pbelmans | @DmitriPavlov The line count in the repository is not an ideal system, because Johan plays two roles in the Stacks project: editor and (main) author, and either way he will be assigned his name to the line count. stacks.math.columbia.edu/tag/06LB lists major contributions by others, often edited for consistency by Johan, but that doesn't take away that Johan has indeed written the great majority. There are many small contributions by others though. And we are looking into ways to get more external contributions. | |
| Aug 23, 2020 at 1:41 | history | became hot network question | |||
| Aug 22, 2020 at 23:50 | answer | added | Emily | timeline score: 14 | |
| Aug 22, 2020 at 23:05 | history | made wiki | Post Made Community Wiki by Todd Trimble | ||
| Aug 22, 2020 at 22:39 | history | edited | user164113 |
edited tags
|
|
| Aug 22, 2020 at 20:09 | history | edited | user164113 |
edited tags
|
|
| Aug 22, 2020 at 20:02 | history | edited | user164113 | CC BY-SA 4.0 |
deleted 49 characters in body
|
| Aug 22, 2020 at 19:47 | comment | added | user164113 | @DmitriPavlov: That is interesting and good to know! I was not aware of it. Their "About" sections suggest that they aim to be collaborative, but the reality may well be different. | |
| Aug 22, 2020 at 19:41 | comment | added | Dmitri Pavlov | Neither Kerodon nor the Stacks Project is collaborative. Kerodon is written exclusively by Jacob Lurie. The Stacks Project theoretically allows for external submissions, but Johan de Jong wrote 703685 out of 709534 lines in the Stacks Project, i.e., 99.18%. | |
| Aug 22, 2020 at 18:53 | history | edited | user164113 | CC BY-SA 4.0 |
added 143 characters in body
|
| Aug 22, 2020 at 18:51 | comment | added | user164113 | @LSpice: Yes, thanks! How do I flag it? Polymath as I understand it is not for writing foundational research-level texts collaboratively, but for doing research collaboratively. | |
| Aug 22, 2020 at 18:21 | answer | added | fosco | timeline score: 22 | |
| Aug 22, 2020 at 18:20 | comment | added | LSpice |
Polymath seems pretty close. By the way, since this is clearly a {big-list} question with no right answer, you probably want to make it Community Wiki, which you do by flagging it for moderator attention.
|
|
| Aug 22, 2020 at 18:04 | history | edited | user164113 | CC BY-SA 4.0 |
deleted 184 characters in body
|
| Aug 22, 2020 at 17:41 | review | First posts | |||
| Aug 22, 2020 at 19:28 | |||||
| Aug 22, 2020 at 17:40 | history | asked | user164113 | CC BY-SA 4.0 |