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