| |
| | Intuitionistic Logic |
 | | Philosophically, intuitionism differs from logicism by treating logic as a part of mathematics rather than as the foundation of mathematics; from finitism by allowing (constructive) reasoning about infinite collections; and from platonism by viewing mathematical objects as mental constructs with no independent ideal existence. |
 | | Hilbert's formalist program, to justify classical mathematics by reducing it to a formal system whose consistency should be established by finitistic (hence constructive) means, was the most powerful contemporary rival to Brouwer's developing intuitionism. |
 | | Brouwer, L. J., 1923, 1954, "On the significance of the principle of excluded middle in mathematics, especially in function theory," "Addenda and corrigenda," and "Further addenda and corrigenda," English translation in van Heijenoort, ed., 1967: 334-345. |
| plato.stanford.edu /entries/logic-intuitionistic (6042 words) |
|