TL;DR
This paper discusses the concept of proof length, questioning its significance and exploring its implications in mathematical and logical contexts.
Contribution
It offers a philosophical and conceptual analysis of proof length, challenging traditional views and suggesting new perspectives.
Findings
Proof length varies widely depending on context
Short proofs are not always better or more valuable
The notion of 'length' is more nuanced than it appears
Abstract
Withdrawn. Silly notion and out of context.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsHistory and Theory of Mathematics · Mathematics and Applications · Wittgensteinian philosophy and applications