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