לכסון (שיטת הוכחה) – הבדלי גרסאות

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