משפט רייס – הבדלי גרסאות

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