3 ms·
You can make any proof as short as you want. Length of proof means almost nothing; it is a function of the language you choose to use.
by Retra 8y ago
You can make any proof as short as you want. Length of proof means almost nothing; it is a function of the language you choose to use.
- nyc111 8y ago> You can make any proof as short as you want. If so why did Wiley choose to write a 200 page proof while he could have stated it in one sentence?
- Retra 8y agoBecause he was writing for a specific class of predetermined parsers, rather than an arbitrary one which was optimized for his proof.