Intuitionism: Difference between revisions
Jump to navigation
Jump to search
(Created page with "'''Intuitionism''' is a philosophy of mathematics, which holds that mathematical objects exist in intuition. Intuitionism is based, fairly directly, on the philosophy of Immanuel Kant. == Examples == Bold mine. From Jacob Lurie, ''Higher Topos Theory''<ref>Lurie, Jacob. ''Higher Topos Theory''. Princeton, N.J., Princeton University Press, 2009.</ref>:<blockquote>Unfortunately, not every <math>\infty</math>-topos <math>\mathcal{X}</math> can be obtained as topol...") |
No edit summary |
||
| Line 1: | Line 1: | ||
'''Intuitionism''' is a philosophy of mathematics, which holds that mathematical objects exist in intuition. | '''Intuitionism''' is a philosophy of mathematics, which holds that mathematical objects exist in intuition. | ||
Intuitionism is based, fairly directly, on the philosophy of [[Immanuel Kant]]. | Intuitionism is based, fairly directly, on the philosophy of [[Immanuel Kant]]. Kant thought that all the ideas of mathematics (and indeed, all ideas generally) are not descriptions of things in themselves (noumena), but rather are structures imposed by our mind on reality (phenomena). | ||
== Examples == | == Examples == | ||
Revision as of 23:42, 27 January 2024
Intuitionism is a philosophy of mathematics, which holds that mathematical objects exist in intuition.
Intuitionism is based, fairly directly, on the philosophy of Immanuel Kant. Kant thought that all the ideas of mathematics (and indeed, all ideas generally) are not descriptions of things in themselves (noumena), but rather are structures imposed by our mind on reality (phenomena).
Examples
Bold mine.
From Jacob Lurie, Higher Topos Theory[1]:
Unfortunately, not every -topos can be obtained as topological localization of an -category of presheaves. Nevertheless, in §6.2.4 we will construct -categories of sheaves which closely approximate using the formalism of canonical topologies.
References
- ↑ Lurie, Jacob. Higher Topos Theory. Princeton, N.J., Princeton University Press, 2009.