| ▲ | groundzeros2015 3 hours ago | |
What point are you responding to? | ||
| ▲ | seanhunter 2 hours ago | parent [-] | |
THe parent of my post referred to disallowing non-constructive proofs, which is not a feature of intuitionist logic but of constructivism. | ||
| ▲ | groundzeros2015 3 hours ago | |
What point are you responding to? | ||
| ▲ | seanhunter 2 hours ago | parent [-] | |
THe parent of my post referred to disallowing non-constructive proofs, which is not a feature of intuitionist logic but of constructivism. | ||