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

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