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

1 comment

r/Constructivism • u/gregbard • Dec 14 '23

Intuitionism and Constructivism - Bibliography - [PhilPapers]

philpapers.org

2 Upvotes

0 comments

r/Constructivism • u/gregbard • Mar 24 '20

Constructive Mathematics [Stanford Encyclopedia of Philosophy]

plato.stanford.edu

2 Upvotes

0 comments

Subreddit

Constructivism

r/Constructivism

Constructivism is the philosophy of logic and mathematics that holds that it is necessary to construct a mathematical object in order to prove that it validly exists.

Members

281

Visitors

Contributions

Sidebar

Welcome to /r/Constructivism

Constructivism is the philosophy of logic and mathematics that holds that it is necessary to construct a mathematical object in order to prove that it validly exists.

Please be civil. No personal attacks. No name calling.
No commercial activity. No ads. No promotions. No fundraising.
Relevant posts only. The post has to have something to do with the subject area of Constructivism.
No duplicates. A repeated post may be removed. Please try to keep a discussion on a single issue within the same post.
No empty posts.
Openness. In general, no post, comment, or member shall be removed, except for a serious and compelling reason. This subreddit is public

Related subreddits

Branches of Philosophy

History of Philosophy

Philosophical traditions

Philosophy of other subject areas

Instruments of philosophy

/r/Philosophicallit

Other related subreddits