פורמליזם (מתמטיקה) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ ראה -> ראו |
מ הוספת קישור לריגורוזי |
||
שורה 57:
ה[[אסכולה]] הפורמליסטית אימצה את התזה האקסיומטית של [[דויד הילברט]], הטוענת כי ה[[מתמטיקה]] היא [[נוסחה|הנוסחאות]] הקונקרטיות עצמן, שהן אוסף עצמים קונקרטיים המהווים 'אותיות', ולא [[משמעות]] כלשהי שנייחס לנוסחאות. כלומר, לעצמי המתמטיקה אין שום משמעות כי הם לא מורים על שום דבר מלבד עצמם. כדי להשיג מצב כזה, פיתח הילברט שיטה של "הגדרה מקופלת", בה העצמים המתמטיים מוגדרים בשלמות על ידי ה[[אקסיומה|אקסיומות]] אותן הם מקיימים (ראו למשל: [[נקודה (גאומטריה)|נקודה גאומטרית]]). כאשר הילברט ניגש לנסח את התזה הזאת הוא הושפע מאוד מ[[עמנואל קאנט]] ומטרתו הייתה להעניק למתמטיקה ול[[משפט (מתמטיקה)|משפטיה]] ודאות מוחלטת ושלמות (כלומר: התורה המתמטית מכילה רק את מה שה[[מתמטיקאי]] מכניס לתוכה, כך שהוא יכול להכירה באופן שלם ובלתי אמצעי).
על סמך תזה זו פיתח הילברט [[תוכנית הילברט|מפעל שלם]], שמטרתו היה לבסס את המתמטיקה במסגרת ההצרנה (פורמליזציה) המלאה שלה וניסוח [[
אף על פי שהפורמליזם כשל כפילוסופיה יסודית ומקיפה, הוא פרח ביותר כשיטת עבודה וכחלק מהתרבות המתמטית.
|