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