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

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

 

הקבוצה <math>\ S</math> תחשב טריוויאלית אם היא הקבוצה הריקה (אינה מכילה אף שפה), או קבוצת כלל השפות מזוהות טיורינג. הסימון <math>\langle M\rangle</math> מציין מחרוזת בינארית המהווה קידוד של [[מכונת טיורינג]] <math>\ M</math>.

== הוכחת המשפט ==