3 ms·
I'm having trouble understanding this statement and its motivation. Under what definition of "interesting" can any "unreasonably" long theorem statement be of i
by benkuykendall 10y ago
I'm having trouble understanding this statement and its motivation. Under what definition of "interesting" can any "unreasonably" long theorem statement be of interest to humans, and what makes you this class of theorems is numerous?
- adrianN 10y agoThm: There are no uninteresting theorems. Proof: Assume there are uninteresting theorems. Let T be the shortest such theorem (under some fixed encoding). Having the special property of being the shortest uninteresting theorem makes T interesting. qed.