@St_Rev I don’t suppose you have read this & have an opinion? http://www.wired.com/2016/05/mathematicians-bridge-divide-infinity-physical-world/?mbid=social_twitter …
Less flippantly: Obviously there's high-quality mathing being referred to. Reminds me slightly of the question of...
-
-
Yeah, the article sucks. I’m wondering if it’s interesting enough to try to understand the result through other means, >
-
> but I guess it’s impossible to determine that from the article. Agreed that it’s reminiscent of nonstandard analysis.
End of conversation
New conversation -
-
-
...whether transfinite analysis allowed you to prove anything you couldn't prove anyway. (I think the answer was no.)
-
The Löwenheim–Skolem theorem?
-
i.e. 1st order theorems that appear to be about big infinities all have a countably infinite model.
-
Fuck I meant nonstandard analysis
-
I am very bad at remembering names for things.
-
Yeah, me too. Thought Lowenheim was Lowenstein till I googled.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
. Banned in Sweden. SubGenius, Zhuangist, white-hat troll. Defrocked mathematician. Brain problems.