in thread "Leibnizian Supercoordination": Yes, of course, I can give you a small sample of works.... 6mo ago (collapse hidden) log in to judge received 3.4 3.4 Yes, of course, I ca (view hidden) log in to judge received 3.4 3.4 As I thought, you are in hurry. It seems like you just want your pre-existing beliefs validated.... 6mo ago (collapse hidden) log in to judge received 2.4 2.4 As I thought, you ar (view hidden) log in to judge received 2.4 2.4 I didn't claim that I discovered an esoteric system of great power, you did. I claimed that Leibniz relates geometric proof with esoteric writing, which he in fact does, as John Whipple also attests, see link in original post.... 6mo ago (collapse hidden) log in to judge received 1.3 1.3 I didn't claim that (view hidden) log in to judge received 1.3 1.3 I could easily ask, "where's the beef anon?" I want to see your papers proving that you studied category theory. Please explain category theory with straightforward answers. Please don't ask me to read any lengthy stuff on category theory, 500 words will d... 6mo ago (collapse hidden) log in to judge received 2.4 2.4 I could easily ask, (view hidden) log in to judge received 2.4 2.4 Our understanding of calculus depends on the foundations of mathematics. If we had an adequate understanding of the foundations of calculus then there would be a solution to Hilbert’s second problem. It was precisely the foundations of calculus and mathe... 6mo ago (collapse hidden) log in to judge received 2.4 2.4 Our understanding of (view hidden) log in to judge received 2.4 2.4 I know it’s hard for you to comprehend this, but I’ll repeat I have never once used the word “esoteric system” — that is 100% your fabrication / delusion / categorical-theorycel-brain.... 6mo ago (collapse hidden) log in to judge received 3.9 3.9 I know it’s hard for (view hidden) log in to judge received 3.9 3.9 Ok I get it, It’s lesswrong club and you guys got each others back. I have presented this to literally hundreds probably thousands of people, and almost every person is as dismissive as you guys, so yes that does weigh on my confidence! 6mo ago (collapse hidden) log in to judge received 0.6 0.6 2.1 2.1 Ok I get it, It’s le (view hidden) log in to judge received 0.6 0.6 2.1 2.1 Voevodsky himself said that that the proofs in higher mathematics were growing too complicated to be verified by peer review, that’s why he wanted to move towards automated theorem provers 6mo ago (collapse hidden) log in to judge received 1.3 1.3 Voevodsky himself sa (view hidden) log in to judge received 1.3 1.3 He did geometrical proof with natural expressions 6mo ago (collapse hidden) log in to judge received 1.3 1.3 He did geometrical p (view hidden) log in to judge received 1.3 1.3 So again I’ll just recap... 6mo ago (collapse hidden) log in to judge received 1.3 1.3 2.1 2.1 So again I’ll just r (view hidden) log in to judge received 1.3 1.3 2.1 2.1 Thank you anon 6mo ago (collapse hidden) log in to judge received 0.7 0.7 Thank you anon (view hidden) log in to judge received 0.7 0.7