2 ms·
THe parent of my post referred to disallowing non-constructive proofs, which is not a feature of intuitionist logic but of constructivism.
by seanhunter 6mo ago
THe parent of my post referred to disallowing non-constructive proofs, which is not a feature of intuitionist logic but of constructivism.