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