In theoretical CS, there's the Razborov-Rudich "natural proofs" paper, which weighs in at 9 pages. After introducing and defining the terminology, and proving a couple of simple lemmas, the proof of the main theorem takes only a couple of paragraphs, less than half a page if I recall correctly.
|
1 | [made Community Wiki] | ||
|
|
||||
