Timeline for natural metrics for proof length
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S May 31, 2023 at 8:21 | vote | accept | Aidan Rocke | ||
| May 27, 2023 at 11:35 | answer | added | Aidan Rocke | timeline score: 1 | |
| Aug 12, 2020 at 13:00 | answer | added | Jacques Carette | timeline score: 5 | |
| Aug 12, 2020 at 2:22 | history | became hot network question | |||
| Aug 11, 2020 at 21:40 | vote | accept | Aidan Rocke | ||
| S May 31, 2023 at 8:21 | |||||
| Aug 11, 2020 at 21:11 | answer | added | Andrej Bauer | timeline score: 8 | |
| Aug 11, 2020 at 20:31 | comment | added | user44143 | Usually logicians analyze mathematical propositions by their equivalence classes instead, sometimes coarsely (eg the five subsystems of second-order arithmetic in reverse mathematics), sometimes more finely (eg the hierarchy of consistency strength in set theory). | |
| Aug 11, 2020 at 18:18 | history | asked | Aidan Rocke | CC BY-SA 4.0 |