anon_48b's page

Yes, of course, I can give you a small sample of works. ... 3mo ago (collapse hidden) 4 4 retry

Yes, of course, I ca (view hidden) 4 4 retry

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

As I thought, you ar (view hidden) 3 3 retry

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 (collapse hidden) 2 2 retry

I didn't claim that (view hidden) 2 2 retry

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 (collapse hidden) 3 3 retry

I could easily ask, (view hidden) 3 3 retry

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 (collapse hidden) 3 3 retry

Our understanding of (view hidden) 3 3 retry

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 (collapse hidden) 5 5 retry

I know it’s hard for (view hidden) 5 5 retry

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 (collapse hidden) 1 1 2 2 retry

Ok I get it, It’s le (view hidden) 1 1 2 2 retry

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 (collapse hidden) 2 2 retry

Voevodsky himself sa (view hidden) 2 2 retry

He did geometrical proof with natural expressions 3mo ago (collapse hidden) 2 2 retry

He did geometrical p (view hidden) 2 2 retry

So again I’ll just recap ... 3mo ago (collapse hidden) 2 2 2 2 retry

So again I’ll just r (view hidden) 2 2 2 2 retry

Thank you anon 3mo ago (collapse hidden) 1 1 retry

Thank you anon (view hidden) 1 1 retry