← Back to context Comment by groundzeros2015 19 hours ago What point are you responding to? 1 comment groundzeros2015 Reply seanhunter 19 hours ago THe parent of my post referred to disallowing non-constructive proofs, which is not a feature of intuitionist logic but of constructivism.
seanhunter 19 hours ago THe parent of my post referred to disallowing non-constructive proofs, which is not a feature of intuitionist logic but of constructivism.
THe parent of my post referred to disallowing non-constructive proofs, which is not a feature of intuitionist logic but of constructivism.