תורת ההוכחות – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ הוספת פרק קישורים חיצוניים + תבנית:MathWorld (בערכים בהם אין קישורים חיצוניים) (תג) (דיון) |
ינון גלעדי (שיחה | תרומות) |
||
שורה 8:
כלל ההיסק הנפוץ ביותר הוא [[מודוס פוננס]] - ידוע שמערכת ההוכחה הבנויה על [[לוגיקה פסוקית|הלוגיקה הפסוקית]] וכלל ההיסק היחיד שלה הוא מודוס פוננס היא מערכת [[שלמות (לוגיקה מתמטית)|שלמה]].
[[הבעיה ה-24 של הילברט] - בעיה שכתב לעצמו ולא פירסם, עסקה ביכולת למיין הוכחות שונות ולהעדיף אחת על פני חברתה.
== משפטים חשובים ==
| |||