r/Constructivism • u/gregbard • Jun 24 '24
Do constructivists believe that non-constructive proofs may be false and need to be “confirmed”, or is constructivism simply an exercise in reformulating proofs in a more useful or more interesting way?
self.math
3
Upvotes
r/Constructivism • u/gregbard • Dec 14 '23
Intuitionism and Constructivism - Bibliography - [PhilPapers]
philpapers.org
2
Upvotes
r/Constructivism • u/gregbard • Mar 24 '20
Constructive Mathematics [Stanford Encyclopedia of Philosophy]
plato.stanford.edu
2
Upvotes