Timeline for natural metrics for proof length
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 31, 2023 at 8:21 | vote | accept | Aidan Rocke | ||
| May 28, 2023 at 5:01 | comment | added | mathoverflowUser | You might be interested in a notion of semantic space of logic, which is similar in meaning to cognitive distance: archive.org/details/semantic_space_of_logic Disclaimer: If you find any errors or anything unclear, please let me know, so that I can correct it. | |
| May 28, 2023 at 4:04 | history | edited | François G. Dorais | CC BY-SA 4.0 |
edited to use the citation feature; the second reference was to an arxiv paper, which was preseved in addition to the citation tool reference.
|
| May 27, 2023 at 11:35 | history | answered | Aidan Rocke | CC BY-SA 4.0 |