My question is: what is the name of mathematicians who ignore the proofs by contradiction and say all of the proofs should be constructive, and what is the name of opposite opinion?
Asked
Active
Viewed 72 times
1
-
7The first are "constructivists", the second are "mathematicians". – Angina Seng Mar 26 '19 at 06:11
-
3The first ones are the idiots and the second the cool guys. ;-) – amsmath Mar 26 '19 at 06:12
-
1Useful reading is Eric Schechter's 2001 expository paper Constructivism is difficult. – Dave L. Renfro Mar 26 '19 at 06:34
1 Answers
2
Both descriptions can include multiple perspectives. The first view could describe either constructivists or people who don't accept the law of non-contradiction; this latter group is called paraconsistent logicians. The second view could describe either classical logicians or those who are neither classical nor paraconsistent, such as the intuitionists.
J.G.
- 115,835