Άλαν Τούρινγκ: Διαφορά μεταξύ των αναθεωρήσεων

{{πληροφορίες επιστήμονα}}

Ο '''Άλαν Μάθισον Τιούρινγκ''' (''Alan Matheson Turing'', [[23 Ιουνίου]] [[1912]] - [[7 Ιουνίου]] [[1954]]) ήταν [[Αγγλία|Άγγλος]] [[Μαθηματικά|μαθηματικός]], καθηγητής της [[λογική|λογικής]] και [[Κρυπτογραφία|κρυπτογράφος]]. Θεωρείται «πατέρας της επιστήμης υπολογιστών», χάρη στην πολύ μεγάλη συνεισφορά του στο γνωστικό πεδίο της [[θεωρία υπολογισμού|θεωρίας υπολογισμού]] κατά τη δεκαετία του 1930, αλλά και της [[τεχνητή νοημοσύνη|τεχνητής νοημοσύνης]], χάρη στη λεγόμενη ''[[δοκιμή Τιούρινγκ]]'' την οποία πρότεινε το 1950: έναν τρόπο να διαπιστωθεί πειραματικά αν μία μηχανή έχει αυθεντικές γνωστικές ικανότητες και μπορεί να [[νόηση|σκεφτεί]].

Το έργο του από τη δεκαετία του '30 προσέδωσε στην ως τότε άτυπη έννοια του [[αλγόριθμος|αλγορίθμου]] μία επίσημη, αυστηρή μαθηματική διατύπωση μέσω της λεγόμενης [[Μηχανή Τιούρινγκ|Μηχανής Τιούρινγκ]]. Ακόμα, ο Τιούρινγκ διατύπωσε από κοινού με τον [[Αλόνζο Τσερτς]] την περίφημη εικασία του, ευρέως αποδεκτή, σύμφωνα με την οποία οποιοδήποτε μαθηματικό μοντέλο υπολογισμού είναι είτε ισοδύναμο είτε υποδεέστερο της ''[[Καθολική Μηχανή Τιούρινγκ|Καθολικής Μηχανής Τιούρινγκ]]'', επομένως αυτή περιγράφει τον ευρύτερο δυνατό [[υπολογιστής|υπολογιστή]] γενικού σκοπού: είναι θεωρητικά ικανή να υπολογίσει ό,τι είναι δυνατό να υπολογιστεί αλγοριθμικά.