/sci/ - Science & Math

>>6540829
If you're a finitist, then it's terrible, but also if not, the the "setty" models of the reals are repulsive enough that -as a consequnce- nobody would actually want to look at the model.
Nothing is wrong with it, in the sense that if your only questing is "is it possible to find a model of them", but not what it actually looks like. That question should be solved by completeness of first order logic, though (not sure).

I've only seen 2 vids of Wildberger or so, one of them is one where he patiently discusses such models (to point out why they suck). Regarding your question, it's actually instructive to watch this for 6 minutes from 0:41 on:

https://www.youtube.com/watch?v=4DNlEq0ZrTo#t=41m30s