| 释义 |
intuitionism A constructivist philosophy of mathematics, its main proponent being Brouwer during the 20th century, in stark contrast to Hilbert's formalism. Intuitionism, in particular, rejects any notion of an actual infinity and the principle of the excluded middle and hence rejects proof by contradiction. Compare logicism, Platonism, structuralism.
|