intuitionistic calculus
Quick Summary
Intuitionistic logic, first formalized by Arend Heyting, is a nonclassical logic that challenges principles of classical mathematics. It was introduced by L.E.J. Brouwer, who believed mathematical objects are mental constructions.12
A key difference from classical logic is the rejection of the principle of the excluded third, which states that for any proposition, either it or its negation is true. Intuitionists argue this principle may fail with infinite sets, as it's not always possible to constructively determine truth. For example, determining if a real number is greater than pi might require infinite computation.3
This approach emphasizes constructive proof, meaning a mathematical statement is only considered true if a method exists to demonstrate it. This contrasts with classical logic's reliance on indirect proofs, such as proof by contradiction.13
Ask Britannica AI about this topic
Britannica doesn't have a full article on this topic, so we've curated a list of our relevant coverage.
formal logicNonstandard versions of PC…these, the best-known is the intuitionistic calculus, devised by Arend Heyting, one of the chief representatives of the intuitionist school of mathematicians, a group of theorists who deny the validity of certain types of proof used in classical mathematics (see mathematics, foundations of: Intuitionistic logic). At least in certain contexts,
Read More…these, the best-known is the intuitionistic calculus, devised by Arend Heyting, one of the chief representatives of the intuitionist school of mathematicians, a group of theorists who deny the validity of certain types of proof used in classical mathematics (see mathematics, foundations of: Intuitionistic logic). At least in certain contexts,
Read More- philosophy of logicAlternative logics
…most important nonclassical logics is intuitionistic logic, first formalized by the Dutch mathematician Arend Heyting in 1930. It has been shown that this logic can be interpreted in terms of the same kind of modal logic serving as a system of epistemic logic. In the light of its purpose to…
Read More…most important nonclassical logics is intuitionistic logic, first formalized by the Dutch mathematician Arend Heyting in 1930. It has been shown that this logic can be interpreted in terms of the same kind of modal logic serving as a system of epistemic logic. In the light of its purpose to…
Read More