"What's your opinion of the 'new math'?" "Does it still use the axiom of choice?" "Of course, otherwise--" "Not interested."
-
-
Replying to @joelgrus
.
@joelgrus this made me wonder if there was a sociology of the Axiom of Choice & it turns out there is!pic.twitter.com/lmy3JfOwnK
1 reply 2 retweets 5 likes -
Replying to @sarahdoingthing
@sarahdoingthing@joelgrus Nitpick: rejecting AoC is hardly "outside" mathematics, it's just not normative.1 reply 0 retweets 1 like -
Replying to @sarahdoingthing
@sarahdoingthing In the sense that math-without-AoC is something of a minority interest but entirely legitimate and vital.2 replies 0 retweets 1 like -
Replying to @St_Rev
@sarahdoingthing There's plenty of constructivist & finitist mathematicians, not to mention a body of math *about* AoC.1 reply 0 retweets 0 likes
@sarahdoingthing Specifically: showing that both AoC and its negation are compatible w/other axioms https://en.wikipedia.org/wiki/Axiom_of_choice#Independence …
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.