One such result shows that the halting problem is undecidable: there is no computer program that can correctly determine, given any program P as input, whether P eventually halts when run with a particular given input.
Ένα τέτοιο αποτέλεσμα δείχνει ότι το πρόβλημα τερματισμού δεν έχει λύση: δεν υπάρχει πρόγραμμα υπολογιστή που δοθέντος ενός προγράμματος Π ως είσοδο, να μπορεί να αποφασίσει σωστά αν το Π τελικά σταματά όταν τρέξει χωρίς είσοδο.