2 ms·
What is that shorter proof and how does it work? Is there a layman-accessible version?
by perching_aix 1mo ago
What is that shorter proof and how does it work? Is there a layman-accessible version?
- morpheos137 1mo agoSomeday. It is has to do with degrees of freedom and information encoding in terms. Stop assuming operations are external but consider them as relational degrees of freedom of a logical statement. Different complexity statements can support different complexity results.