All public logs

Combined display of all available logs of Objective Mathematics. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 21:29, 23 January 2024 Lfox talk contribs created page Intuitionism (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...") Tag: Visual edit