← Back to context Comment by groundzeros2015 1 day ago What point are you responding to? 1 comment groundzeros2015 Reply seanhunter 21 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 21 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.