Comment by seanhunter

20 hours ago

THe parent of my post referred to disallowing non-constructive proofs, which is not a feature of intuitionist logic but of constructivism.

0 comments