The death of Classical logic and the (re?)birth of Constructive Mathematicsforum.philosophynow.org·4 pts·ukj·1