Intuitionism: Difference between revisions
(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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \infty} -topos Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal{X}} can be obtained as topological localization of an Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \infty} -category of presheaves. Nevertheless, in §6.2.4 we will construct -categories of sheaves which closely approximate Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal{X}} using the formalism of canonical topologies.
References
- ↑ Lurie, Jacob. Higher Topos Theory. Princeton, N.J., Princeton University Press, 2009.