You seem to be on some kind of tirade against classical logic. But this has nothing to do with what I asserted, namely that Gödel's theorems don't assume classical logic and that classical mathematics is not a subset of intuitionistic mathematics (where mathematics A is a subset of mathematics B iff all theorems provable in A are also provable in B). I have no intention of defending classical logic here, nor, for the matter, did Gödel in his incompleteness paper. — Nagase
Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.