"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
@St_Rev@sarahdoingthing Planning to talk about this in passing in page on crisis of systematicity in early 20th C.1 reply 0 retweets 1 like -
Replying to @Meaningness
@St_Rev@sarahdoingthing Looked briefly like math might all be just opinions. Constructivism was one response; Hilbert program was another.1 reply 0 retweets 0 likes -
Replying to @Meaningness
@St_Rev@sarahdoingthing I find all the proposed solutions dubious and damaging, but there doesn’t seem to be a practical problem anymore.1 reply 0 retweets 1 like -
Replying to @Meaningness
@Meaningness@sarahdoingthing I find the current idea of replacing all of it with homotopy classes of machine proofs strange and frightening2 replies 0 retweets 0 likes
@St_Rev @sarahdoingthing It seems natural to me but I’m not smart enough to be a mathematician. I can taste the objection, though!
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.