/sci/ - Science & Math

>>12208434
Good post desu, even if I have sympathy for Wildberger. You also actually seem to know his arguments.

I fully agree with your point about him bringing in a certain physicalism regarding unknowable properties and uncountability. That's better captured in the fully formal constructivist critique of strong axioms.

I also agree that it's very annying that he won't engage with people on any axiomatic level and that he doesn't seem to know much of the already existing literatures (past the 20's) that make many cases that he does.

His rejection of Cauchy sequences isn't a logical refuation, but his videos make of course a good point. You gotta be quite the formalist to think Cauchy sequences are a good notion of "number".

His classical algebraic geometry lectures are very nice.
His own trigonometric theory is probably not nearly broad enough in scope to ever replace anything we already have.

Not sure why the word grifter is used in this context.

>>12111257
okay, good to know. maybe I read some AG sometime

>>11772322
No, it was proven here

https://arxiv.org/abs/1303.3408

I can't bother too much with all the (ugly imho) model constructions that prove or disprove this or that. Currently I mostly want to see what's provable in 3D space geometry with guaranteed "implementability."
E.g. where does Bourbaki style Lie group theory jump this point. Probably linear algebra alla root systems is fine, but huge enveloping algebra constructions are probably out of the realm already.

Invent a time machine and use it to keep me from making this post.

No balls.