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