intuitionism
Sign in to saveIn the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach where mathematics is considered to be purely the result of the constructive mental activity of humans rather than the discovery of fundamental principles claimed to exist in an objective reality. That is, logic and mathematics are not considered analytic activities wherein deep properties of objective reality are revealed and applied, but are instead considered the application of internally consistent methods used to realize more complex mental constructs, regardless of their possibl
Wikidata facts
- Instance of
- school of thought
Show 5 more facts
- discoverer or inventor
- Luitzen Egbertus Jan Brouwer
- inception
- 1912-00-00
- different from
- intuitionistic logic
- topic's main category
- Category:Intuitionism
Sources (3)
via Wikidata · CC0
~15 min read
Encyclopedic overview
9 sectionsContents
- Truth and proof
- Infinity
- History
- Contributors
- Branches of intuitionistic mathematics
- See also
- Notes
- References
- External links
In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach where mathematics is considered to be purely the result of the constructive mental activity of humans rather than the discovery of fundamental principles claimed to exist in an objective reality. That is, logic and mathematics are not considered analytic activities wherein deep properties of objective reality are revealed and applied, but are instead considered the application of internally consistent methods used to realize more complex mental constructs, regardless of their possible independent existence in an objective reality.
== Truth and proof ==
Excerpted from Wikipedia’s “intuitionism” article, available under the CC BY-SA 4.0 licence.