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