"What's your opinion of the 'new math'?" "Does it still use the axiom of choice?" "Of course, otherwise--" "Not interested."
-
-
@St_Rev normative in what sense? yay more sociology of math -
@sarahdoingthing In the sense that math-without-AoC is something of a minority interest but entirely legitimate and vital. -
@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 - 5 more replies
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.