... האינטואיטיבית. בפילוסופיה של המתמטיקה יש כמה אסכולות, שמתמקדות בשאלות מטאפיזיות, כלומר: מדוע המתמטיקה פועלת?, ובשאלה קשורה אך שונה מבחינה לוגית, מדוע המתמטיקה
מסבירה בצורה כל כך טובה את העולם הפיזי כפי שאנו ... בעקבות גילויה המצאתה של גאומטריה לא אוקלידית, שבה אקסיומת המקבילים שונה מזו של הגאומטריה האוקלידית. שתי הגאומטריות הללו תקפות מתמטית בדיוק באותה מידה, אולם
סביר שרק אחת מהן מתארת את המציאות. ובכל זאת - ... להיות מקורות קדומים יותר שאינם ידועים לנו. מתמטיקאים חשובים רבים הם ריאליסטיים, הם רואים את עצמם כמגלים. כדוגמה אפשר לציין את פאול ארדש וקורט גדל. יש שנתנו
הסברים פסיכולוגיים להעדפה הזו: כנראה שקשה מאוד ... יש להאמין גם במציאות של הישויות הנצרכות עבור התיאור הזה. בהתאם לפילוסופיה הכללית של קוויין ופטנאם, טענה זו היא נטורליסטית. היא טוענת לקיומן של הישויות המתמטיות
כהסבר הטוב ביותר למה שאנו חווים, וכך הם מרוקנים ... ואפשר רק לשחק את המשחקים, אך אי אפשר להוכיח דבר לגביהם. עם זאת, עמדה זו אינה פותרת את הבעיות האפיסטמיות (מהם סמלים? האם הם קיימים בעולם לא משתנה ונצחי?), אינה
מסבירה את התועלת שבמתמטיקה, ועושה את המתמטיקה ... האי שלמות השני של גדל הביא את תוכנית הילברט אל קצה, כיוון שהראה כי מערכות אקסיומטיות חזקות אינן יכולות לעולם להוכיח את העקביות של עצמן. בפרט כל מערכת אקסיומטית
סבירה שתכלול את המספרים הטבעיים לא תוכל להוכיח את העקביות של עצמה. הילברט היה במקור דדוקטיביסט, אך כפי שאפשר לראות
מההסבר שלנו, הוא חשב כי שיטות מטא - מתמטיות ... למשחקי המניפולציה הקטנים שתוארו למעלה. אם כי אפשר להגדיר הוכחות על ידי המושגים של המשחקים האלה, ההוכחות כמעט אף פעם אינן נעשות למעשה באופן הזה. הפורמליזם גם לא
מסביר איזה מערכת אקסיומות יש לחקור. לוגיציזם: ... הגישות אליה שנבנות על המתמטיקה, אם בניות אלה כגון זהות אוילר הן אמת, אז הן אמת כמפה של החשיבה והמוח האנושי, ולא כמפה של דבר שהמוח הזה רואה. היעילות של המתמטיקה
בהסבר היקום מוסברת בקלות: המוח הוא שבנה את ... החלה לאתגר את שאלת היסודות, ואת האפשרות למצוא תשובה נכונה לשאלה מדוע המתמטיקה פועלת. ההתחלה של התנועה הייתה במאמר מפורסם של יוגין ויגנר מ - 1960, היעילות הלא -
סבירה של המתמטיקה במדעי הטבע, שבו טען כי העובדה שהמתמטיקה ומדעי הטבע כה מתאימים זה לזה לא יכולה להיות מקרית, אך קשה
להסביר אותה. האסכולות הקוגניטיביות או ... הפיזיקה, הכלכלה או הרפואה. פסיכולוגיה אבולוציונית לדוגמה אימצה את הרעיון שהמוח הוא מחשב, במשמעות של מכונת טיורינג. מהן המשמעויות של שימוש בהפשטה שאמורה הייתה
להסביר מחשבים,
להסבר המוח האנושי? אסתטיקה: יופי מתמטי טענה ...