אייי 8.7 הוכחת אי-כריעותה של בעיית העצירה , התכנית S
מתוך:
אלגוריתמיקה : יסודות מדעי המחשב
>
אלגוריתמיקה יסודות מדעי המחשב
>
חלק III מגבלות וחסינות
>
8 בעיות שאינן ניתנות לחישוב או לפעמים אי-אפשר לעשות את זה בכלל!
אל הספר