Τι είναι η Καθολική Μηχανή Turing;
Απάντηση
Η καθολική μηχανή Turing είναι μια υποθετική συσκευή, η οποία χειρίζεται σύμβολα σύμφωνα με ένα σύνολο κανόνων και μπορεί να προσομοιάζει τη λογική οποιουδήποτε αλγόριθμου. Θεωρητικά μπορεί να υπολογίσει ό,τι είναι δυνατόν να υπολογιστεί αλγοριθμικά. Προτάθηκε το 1936, ως μια «λογική υπολογιστική καθολική μηχανή», από τον Alan Turing, βρετανό μαθηματικό, κρυπτογράφο και καθηγητή Λογικής, στην έκθεσή του «Ευφυή καθολική μηχανήματα».