3 ms·
What point are you responding to?
by groundzeros2015 6mo ago
What point are you responding to?
- seanhunter 6mo agoTHe parent of my post referred to disallowing non-constructive proofs, which is not a feature of intuitionist logic but of constructivism.