Constructive mathematics is "the post modern version of mathematics" : r/badmathematics
/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
related reading
- There’s more to mathematics than rigour and proofs | What's newterrytao.wordpress.com
- Philosophy of Mathematics (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- The fall of the theorem economydavidbessis.substack.com
- Reddit - Please wait for verificationreddit.com
- Tim Gowers - Two culturesdpmms.cam.ac.uk
- Napkin.pdfvenhance.github.io
- Betalog · Daniel Littdaniellitt.com
- Logical difficulties in modern mathematics | njwildberger: tangential thoughtsnjwildberger.com
- What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
- The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematicswolframscience.com
- Inconsistent Mathematics (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- startup review: axiom mathil0vemilktea.substack.com