2 ms·
Logic, Explainability and the Future of Understanding (2018)
- daveguy 5y agoDoesn't this falsely equate "simpler" to "fewer axioms"? If you let each axiom be as complex as possible, what have you simplified?
- BadThink6655321 5y agoShould I be bothered that "=" is (((x•x)•(y•y))•(x•y)) so if he's going to write his axiom in terms of NAND, he needs to write all of it using NAND?
- deleted 5y ago[deleted]