... המתמטיקה עובדת? 4 יסודות המתמטיקה ומקור הוודאות שלה 4.1 ריאליזם מתמטי, או פלאטוניזם 4.2 פורמאליזם 4.3 לוגיציזם 4.4 קונסטרוקטיביזם
ואינטואיציוניזם 4.5 תאוריות השכל המוגשם 4.6 קונסטרוקטיביות חברתית או ריאליזם חברתי 5 מעבר לאסכולות 5.1 מעין - אמפיריציזם 5.2 פעולה ומעשה 5.3 ... על משטח בגאומטריה היפרבולית. פיתוח הגאומטריה הלא אוקלידית העקבית במאה ה - 19 הדגיש את חשיבותו של השימוש באקסיומות כנגד החשיבה
האינטואיטיבית. בפילוסופיה של המתמטיקה יש כמה אסכולות, שמתמקדות בשאלות מטאפיזיות, כלומר: מדוע המתמטיקה פועלת?, ובשאלה קשורה אך שונה מבחינה לוגית, ... את העולם הסובב אותנו ומארגן את צבר התחושות שהוא קולט לכלל ניסיון או מציאות עקביים. יסודות המתמטיקה ומקור הוודאות שלה: שלוש אסכולות
אינטואיציוניזם, לוגיציזם ופורמליזם התפתחו בתחילת המאה ה - 20 כתגובה להבנה המחלחלת יותר ויותר, כי המתמטיקה (כפי שהייתה אז), והאנליזה בעיקר, אינה ... וכך הם מרוקנים את המתמטיקה, במידה מסוימת, מהמעמד האפיסטמי שלה. רוב צורות הלוגיציזם (ראו להלן) הן צורות שונות של ריאליזם מתמטי.
אינטואיציזם היא הדוגמה הקלאסית לפילוסופיה אנטי - ריאליסטית של המתמטיקה. פטנאם התנגד נחרצות למושג פלאטוניזם, בטענה שמושג זה מרמז על הוויה ... מהעיקרון של יום. דבר זה לא היה מספיק בשביל פרגה כי (בפרפרזה על דבריו) אין זה מוציא מכלל אפשרות כי יוליוס קיסר=2. קונסטרוקטיביזם
ואינטואיציוניזם:
אינטואיציוניזם היא עמדה שבאה בעקבות טענתו של קאנט, בדבר האפשרות להגיע אל ההכרה הממשית של טבע העולם באמצעות התבונה בלבד, ולפיה כל הידע המתמטי ... דרך ברורה לבנותו. ציטוט טיפוסי הוא של לאופולד קרונקר: אלוהים ברא את המספרים הטבעיים, כל השאר הוא עבודת האדם. כוח משמעותי מאחורי
האינטואיציוניזם הוא ל. אי. גיי. בראואר, שהציע לוגיקה חדשה, השונה מהלוגיקה האריסטוטלית הקלאסית, הלוגיקה
האינטואיציונית אינה כוללת את כלל השלישי מן הנמנע (החוק שאומר שדבר חייב להיות אמת או שקר, ושאין אפשרות אחרת), ולפיכך היא אינה מסכימה עם הוכחה ... אקסיומת הבחירה נדחית אף היא. עבודה חשובה נעשתה לאחר מכן על ידי ארנד הייטינג, שהיה תלמידו של ברואר, שניסח באופן פורמאלי את הלוגיקה
האינטואיציוניסטית , ועל ידי ארט בישופ, שהצליח להוכיח כמה מהמשפטים החשובים ביותר באנליזה במסגרת הזו.
באינטואיציוניזם, המושג בנייה ברורה לא הוגדר באופן חותך, ודבר זה הביא לביקורת עליה. ניסיונות נעשו להשתמש במושגים כגון מכונת טיורינג או פונקציה ...