Quote


Voting: - 0 +
3-4 lines, and 5 pages, that's roughly exponential.
— Juris Hartmanis, On the space needed to state and then prove a theorem · Sept. 8, 1983