בתשובה לאלון עמית, 30/06/04 18:04
 |
|
 |
||
|
||||
 |
אינטואציוניזם הוא סוג של קונסטרקטיביזם. זה אולי לא כל כך מעסיק את המתמטיקאים אבל זה בהחלט לא תרגיל בפילוסופיה של המתמטיקה בלבד. לאינטואציוניזם יש השלכות מתמטיות אמיתיות ודי מדהימות/מגוכחות מנקודת מבט מתמטית רגילה. למשל, כל פונקציה היא רציפה. ובראוור אולי היה אינטואיציוניסט אבל זה לא הפריע לו להוכיח את המשפט שלו בצורה "קלאסית", קרי, בדרך השלילה. |
 |
 |
 |
|
|
|
||
|
||||
|
ברור שזה לא "תרגיל בפילוסופיה בלבד", אבל רוב המתמטיקאים, עובדתית, מתייחסים לתחום כאל לא יותר מקוריוז, בדיוק מסיבות כמו זו שהזכרת: כל פונקציה היא רציפה? תן לי בלם... אנשים עם רקע בלוגיקה (כמוך) נוטים להכיר את התחום טוב יותר ולפעמים ממש להתעניין בו, אבל רוב המתמטיקאים ה*אמיתיים* (סתם, סתם) יודעים עליו די מעט. לדעתי, אגב, חבל; זה די מעניין. נדמה לי שאינטואיציוניסטים מקבלים הוכחות ב-PA. לפני מספר שנים ניגש מישהו לאנדרו ויילס ושאל אותו אם הוא סבור שההוכחה שלו ניתנת לפירמול ב-PA. ויילס ענה שאין לו מושג, והשואל ציין גם שהשאלה נראתה לו (לויילס) לא מעניינת במיוחד. |
|
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |