@sarahdoingthing In the sense that math-without-AoC is something of a minority interest but entirely legitimate and vital.
-
-
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 -
Replying to @St_Rev
@Meaningness@sarahdoingthing but I am an old failure1 reply 0 retweets 0 likes -
Replying to @St_Rev
@Meaningness@sarahdoingthing More seriously I'm a narrativist http://st-rev.livejournal.com/395798.html1 reply 0 retweets 1 like -
Replying to @St_Rev
@Meaningness@sarahdoingthing Mathematics is the study of game rules and the games you can play with them.1 reply 0 retweets 2 likes -
Replying to @St_Rev
@St_Rev@sarahdoingthing That was Hilbert’s metaphor… and it led to Bourbaki… I like “narrative” better!1 reply 0 retweets 1 like -
Replying to @Meaningness
@Meaningness@sarahdoingthing Bourbaki were the masters of a particular, very difficult, style. Not one I personally care for ofc.2 replies 0 retweets 0 likes
@St_Rev @sarahdoingthing More generally, formalism (as a philosophy) is sterile, and the spirit of exploration is where the savor is.
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.