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