Timeline for What does it mean to suspect that two conjectures are logically equivalent?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 24, 2017 at 12:28 | comment | added | Noah Schweber | Something like this exists in the form of Girard's proof nets, or in Hughes' combinatorial proofs. I think an important problem with applying these ideas to this question, though, is determining what "a single step" should mean. There are long arguments which seem "content-free" to me, in the sense of not adding to the essential number of steps in some sense. | |
| Oct 24, 2017 at 12:16 | history | answered | Sylvain JULIEN | CC BY-SA 3.0 |