 |
אינטואיציוניזם
| Wikipedia ויקיפדיה העברית - האנציקלופדיה החופשית | Download this dictionary |
אינטואיציוניזם
בפילוסופיה של המתמטיקה, אינטואיציוניזם היא גישה הרואה במתמטיקה תוצאה של פעילות אנושית של בניות מנטליות. כך, בהינתן אוסף אקסיומות (באינטואיציוניזם: אריתמטיקה של מספרים טבעיים), הטענות היחידות שנחשבות "לגיטימיות" הן אלו שנבנו, בעקיפין או שלא בעקיפין, על ידי האקסיומות. במילים אחרות, טענה ניתן להוכיח או להפריך רק באמצעות שיטות הוכחה קונסטרוקטיביות. לכן פוסלים האינטואיציוניסטים הוכחות על דרך השלילה ולמעשה את כלל השלישי מן הנמנע. אבי האסכולה הוא המתמטיקאי ההולנדי ל.א.י בראואר. מתמטיקאיים נוספים שעסקו בתחום הם ארנד הייטינג, אנדריי קולמוגורוב והרמן וייל.
| להמשך המאמר ראה Wikipedia.org... |
© מאמר זה משתמש בתוכן מ-ויקיפדיה® וכפוף לרשיון לשימוש חופשי במסמכים של גנו GNU Free Documentation License וכפוף לרישיון Creative Commons ייחוס-שיתוף זהה
