Constructive mathematics is "the post modern version of mathematics" : r/badmathematics

reddit.com · 6 words · saved by 1 readers

/r/badmathematics has gone private in solidarity with many other subreddits protesting the drastic price increases reddit has implemented for its API. More information can be found [here](https://www.reddit.com/r/ModCoord/comments/13xh1e7/an_open_letter_on_the_state_of_affairs_regarding/) If you should want to discuss badmath elsewhere, a community has been opened up on [kbin](https://kbin.social/m/badmathematics). We also have a discord server [here](https://discord.gg/rCDHtrW). Constructive mathematics, and in particular I discuss constructive analysis here, is concerned roughly with what might be called the computable component of mathematics. Constructive mathematics is distinct from what is done by computability theorists or reverse mathematicians in logic over something like recursive arithmetic (RCA_0) in that they (i) believe that mathematics would be better off it was done the way they do it, and (ii) they generally do not accept the law of the excluded middle, which makes th

Reddit - Please wait for verification

Constructive mathematics is "the post modern version of mathematics" : r/badmathematics

related reading