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