@St_Rev @sarahdoingthing Planning to talk about this in passing in page on crisis of systematicity in early 20th C.
-
-
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 -
Replying to @St_Rev
@Meaningness@sarahdoingthing To the extent that fashion demanded it be the *only* game allowed, that was harmful. But, French ppl.1 reply 0 retweets 1 like
@St_Rev @sarahdoingthing Somehow I failed to make the connection that Bourbaki was characteristically French!
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.