Hacker News new | ask | show | jobs
by groundzeros2015 57 days ago
What point are you responding to?
1 comments
seanhunter 57 days ago
THe parent of my post referred to disallowing non-constructive proofs, which is not a feature of intuitionist logic but of constructivism.
link