"What's your opinion of the 'new math'?" "Does it still use the axiom of choice?" "Of course, otherwise--" "Not interested."
@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! -
@Meaningness@sarahdoingthing Bourbaki were the masters of a particular, very difficult, style. Not one I personally care for ofc. -
@Meaningness@sarahdoingthing To the extent that fashion demanded it be the *only* game allowed, that was harmful. But, French ppl. -
@St_Rev@sarahdoingthing Somehow I failed to make the connection that Bourbaki was characteristically French!
End of conversation
New conversation -
-
-
@St_Rev@sarahdoingthing It seems natural to me but I’m not smart enough to be a mathematician. I can taste the objection, though!Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.