פורמליזם (מתמטיקה) – הבדלי גרסאות

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

 

 

למרות שהפורמליזם כשלה כפילוסופיה יסודית ומקיפה, היא פרחה ביותר כשיטת עבודה וכחלק מהתרבות המתמטית.