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

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

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