Σάββατο, 23 Ιουνίου 2012

Ο επίκαιρος Άλαν Τιούρινγκ

Το έτος 2012 έχει ανακυρηχθεί ως έτος Άλαν Τιούρινγκ (Alan Turing), υπενθυμίζοντάς μας πως έχουν περάσει ακριβώς εκατό χρόνια από την γέννηση του μεγάλου Μαθηματικού, στις 23 Ιουνίου 1912.
Σε δύσκολους καιρούς, γεφύρωσε την επιστήμη των Μαθηματικών με την αναπτυσσόμενη Τεχνολογία, για να δώσει λύσεις σε καίρια προβλήματα της εποχής του, όπως ήταν η αποκωδικοποίηση της Γερμανικής μηχανής Enigma.
Όμως, ο Άλαν Τιούρινγκ πραγματικά προκάλεσε τον επιστημονικό κόσμο με το άρθρο του "Υπολογιστικές Μηχανές και Ευφυΐα" (Computing Matchinery and Intelligence): Θα μπορούσε να υπάρξει μηχανή που να "σκέφτεται"; Εκεί, αναπτύσσει τις αρχές λειτουργίας μιας υποθετικής μηχανής που προγραμματίζεται αλγοριθμικά να διαβάζει μια σειρά από 0 και 1 και στη συνέχεια την τροποποιεί, ανάλογα με τις εντολές που έχει λάβει. Πρόκειται για την γνωστή "μηχανή Άλαν Τιούρινγκ" (Alan Turing machine), τα θεμέλια των σημερινών Υπολογιστών.


Ο προγραμματισμός αυτής της μηχανής είναι μια ενδιαφέρουσα άσκηση μαθηματικών και συμβολικής γλώσσας, μια δεξιότητα που θα επιθυμούσα να κατακτήσουν οι μαθητές μου. Γι' αυτό και τους ετοίμασα μια δραστηριότητα, με την οποία μπορούν να προγραμματίσουν το Automaton Simulator (κατεβάστε το δωρεάν).

Πηγές:

1. Alan Turing, του Andrew Hodges
2. Atomaton Simulator
3. Turing, A.M. (1950). Computing machinery and inteligence. Mind, 59, 433-460
4. Η μηχανή Turing - δραστηριότητα εξοικείωσης