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