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