2 ms·
Classical logic isn’t rejected in computer science. Computer science papers don’t generally care if their proofs are non-constructive, just like in mathematics.
by layer8 6mo ago
Classical logic isn’t rejected in computer science. Computer science papers don’t generally care if their proofs are non-constructive, just like in mathematics.
- zozbot234 6mo agoThey care quite a bit actually, they just call their constructive proofs "algorithms" or "decision procedures".
- seanhunter 6mo agoIntuitionism is just disallowing the law of the excluded middle (that propositions are either true or they are not true). Disallowing non-constructive proofs is a related system to intuitionism called “constructivism”. There are rigorous formulations of mathematics that are constructive, intuitionist or even strict finitist.
- groundzeros2015 6mo agoWhat 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.
- Revanche1367 6mo agoThis entire thread is making clear that constructivists want to speak on behalf of everyone while in the real word the vast majority of mathematicians or logicians don’t belong to their niche school of mathematics/philosophy.
- ux266478 6mo agoDo you understand the irony in posting this on a comment chain ostensibly rejecting foundational objectivism?
- Revanche1367 6mo agoNot everyone has to subscribe to your philosophy, weird I know.
- deleted 6mo ago[deleted]