sofiechan home

posts by anon 0x48b

your follow increases their reputation. your mute decreases their reputation.

in thread "Leibnizian Supercoordination":

Yes, of course, I can give you a small sample of works. ... 8d ago 44

Yes, of course, I ca 44

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

As I thought, you ar 33

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. ... 5d ago 22

I didn't claim that 22

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... 5d ago 33

I could easily ask, 33

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... 5d ago 33

Our understanding of 33

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. ... 5d ago 44

I know it’s hard for 44

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! 5d ago 11 22

Ok I get it, It’s le 11 22

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 5d ago 22

Voevodsky himself sa 22

He did geometrical proof with natural expressions 5d ago 22

He did geometrical p 22

So again I’ll just recap ... 5d ago 22 22

So again I’ll just r 22 22

Thank you anon 5d ago 11

Thank you anon 11