Sicher kennst du das folgende Problem. Du sitzt vor deinem Bildschirm und fragst dich:
"Ist der Computer abgestürzt oder rechnet er noch?"
Vielleicht entscheidest du dich, ein Programm zu entwickeln, das diese Frage beantwortet. Du gründest also eine Firma, stellst 10 Programmierer ein und beauftragst diese damit, ein Programm zu schreiben, das Folgendes leistet:
Zu einem beliebigen Programm und einem Satz von Eingabedaten soll entschieden werden, ob dieses Programm mit diesen Daten nach endlicher Zeit stoppt oder nicht.
Theorie kann manchmal ganz praktisch sein.
