"What's your opinion of the 'new math'?" "Does it still use the axiom of choice?" "Of course, otherwise--" "Not interested."
-
-
@St_Rev@sarahdoingthing Planning to talk about this in passing in page on crisis of systematicity in early 20th C. -
@St_Rev@sarahdoingthing Looked briefly like math might all be just opinions. Constructivism was one response; Hilbert program was another. -
@St_Rev@sarahdoingthing I find all the proposed solutions dubious and damaging, but there doesn’t seem to be a practical problem anymore. -
@Meaningness@sarahdoingthing I find the current idea of replacing all of it with homotopy classes of machine proofs strange and frightening -
@Meaningness@sarahdoingthing but I am an old failure -
@Meaningness@sarahdoingthing More seriously I'm a narrativist http://st-rev.livejournal.com/395798.html -
@Meaningness@sarahdoingthing Mathematics is the study of game rules and the games you can play with them. -
@St_Rev@sarahdoingthing That was Hilbert’s metaphor… and it led to Bourbaki… I like “narrative” better! - 3 more replies
New conversation -
-
-
@sarahdoingthing There's plenty of constructivist & finitist mathematicians, not to mention a body of math *about* AoC. -
@sarahdoingthing Specifically: showing that both AoC and its negation are compatible w/other axioms https://en.wikipedia.org/wiki/Axiom_of_choice#Independence …
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.