@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 …
-
-
Replying to @Meaningness @St_Rev
I’m trying to decide if it’s worth figuring out what it’s about. (More my field than yours though, I suspect.)
1 reply 0 retweets 0 likes -
Replying to @Meaningness @St_Rev
It’s written in the sort of “intelligent lay reader” style that makes it impossible to determine what is actually going on. afaict
1 reply 0 retweets 0 likes -
-
Replying to @St_Rev @Meaningness
Less flippantly: Obviously there's high-quality mathing being referred to. Reminds me slightly of the question of...
2 replies 0 retweets 0 likes -
Replying to @St_Rev @Meaningness
...whether transfinite analysis allowed you to prove anything you couldn't prove anyway. (I think the answer was no.)
1 reply 0 retweets 0 likes -
-
i.e. 1st order theorems that appear to be about big infinities all have a countably infinite model.
1 reply 0 retweets 0 likes
Fuck I meant nonstandard analysis
-
-
I am very bad at remembering names for things.
1 reply 0 retweets 0 likes -
Replying to @St_Rev @Meaningness
Yeah, me too. Thought Lowenheim was Lowenstein till I googled.
0 replies 0 retweets 0 likes
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.