Turing machines allow us to make statements about algorithms which will (theoretically) hold forever, regardless of advances in conventional computing machine architecture.
Οι μηχανές Τούρινγκ μας επιτρέπουν να κάνουμε δηλώσεις για αλγορίθμους οι οποίοι μπορεί (θεωρητικά) να τρέχουν για πάντα, ανεξάρτητα από την πρόοδο στην αρχιτεκτονική των συμβατικών υπολογιστικών μηχανών.