Could you recommend me a good introductory textbook into constructive/intuitionist math?
My impression is that you guys operate under some extra constraints, but I have been unable to figure out what exactly those constraints are. (Is there even a common standard, or does everyone use their own definition?)
okay i wrote you a reply and apparently lesswrong thinks its llm written (which is insane) bottom line is that the standard is “Constructivism in Mathematics, Vol 1 (Studies in Logic and the Foundations of Mathematics, Volume 121)” by A.S. Troelstra and D. van Dalen i also explained how assuming less are not additional constraints but naturally correspond to a harder system and gave the irrationality of root 2 as an example for typical law of the excluded middle proof.
Could you recommend me a good introductory textbook into constructive/intuitionist math?
My impression is that you guys operate under some extra constraints, but I have been unable to figure out what exactly those constraints are. (Is there even a common standard, or does everyone use their own definition?)
okay i wrote you a reply and apparently lesswrong thinks its llm written (which is insane) bottom line is that the standard is “Constructivism in Mathematics, Vol 1 (Studies in Logic and the Foundations of Mathematics, Volume 121)” by A.S. Troelstra and D. van Dalen i also explained how assuming less are not additional constraints but naturally correspond to a harder system and gave the irrationality of root 2 as an example for typical law of the excluded middle proof.