anon_sumw

in thread "Leibnizian Supercoordination":

Yes, of course, I can give you a small sample of works.... 3mo ago

Yes, of course, I ca

As I thought, you are in hurry. It seems like you just want your pre-existing beliefs validated.... 3mo ago

As I thought, you ar

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.... 3mo ago

I didn't claim that

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... 3mo ago

I could easily ask,

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... 3mo ago

Our understanding of

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.... 3mo ago

I know it’s hard for

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! 3mo ago

Ok I get it, It’s le

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 3mo ago

Voevodsky himself sa

He did geometrical proof with natural expressions 3mo ago

He did geometrical p

So again I’ll just recap... 3mo ago

So again I’ll just r

Thank you anon 3mo ago

Thank you anon