פונקציה קבועה
פונקציה קבועה נותנת תמיד את אותו ערך. "תחום" היא קבוצת הקלטים שלה. דוגמה פשוטה: f(x)=1, תמיד מחזירה 1. f(x)=x לא קבועה, כי הערכים משתנים. הפונקציה הריקה היא כזאת שאין לה קלטים. בגלל זאת היא נחשבת קבועה, כי אין נקודות שמראות שינוי. חלק מהאנשים דורשים שהתחום לא יהיה ריק כדי לקרוא לפונקציה קבועה. ...
משפט רייס
משפט רייס אומר שאי אפשר לכתוב תוכנית שתבדוק תכונות "מעניינות" של מה שתוכנית אחרת מחשבת. "מעניינות" כאן פירושו תכונה שמופיעה בחלק מהפונקציות, אבל לא בכולן. יש הוכחה שמראה שזה בלתי אפשרי. משתמשים ברעיון של פונקציה ריקה. פונקציה ריקה היא פונקציה שלא מחזירה שום דבר כי התוכנית שלה לא עוצרת. נניח שיש...