2 ms·
It should also be noted that with a finite vocabulary, the vast majority of interesting mathematical theorems cannot be stated in a reasonable amount of time.
by Retra 10y ago
It should also be noted that with a finite vocabulary, the vast majority of interesting mathematical theorems cannot be stated in a reasonable amount of time.
- benkuykendall 10y agoI'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.