Seminar

Speaker:	Efstathios Zachos (Professor, School of Electrical and Computer Engineering, NTUA)
Title:	Ο δρόμος από τον Leibniz ως τον Turing
Date:	Friday, 14 Dec 2012
Time:	18:30
Location:	Univeristy of Athens, Department of Mathematics, University of Athens, room Γ33

Abstract

Θα ακολουθήσουμε την πορεία της ζωής μιας ομάδας λαμπρών νεωτεριστών: μια πορεία τριών αιώνων. Κάθε ένας από αυτούς, με τον ένα ή με τον άλλο τρόπο, ασχολήθηκε με την φύση της ανθρώπινης λογικής. Αθροιστικά, οι ατομικές συνεισφορές του καθενός από αυτούς αποτέλεσαν το πνευματικό πλέγμα μέσα από το οποίο αναδύθηκε ο ψηφιακός υπολογιστής γενικής χρήσεως. Εκτός από τον Turing, κανείς από αυτούς δεν υποψιαζόταν πως το έργο του θα μπορούσε να έχει τέτοιου είδους πρακτική εφαρμογή. Ο Leibniz έβλεπε μακριά, αλλά όχι μέχρι εκεί. Ο Boole καθόλου δεν φανταζόταν πως η άλγεβρά του της Λογικής θα μπορούσε να χρησιμοποιηθεί για το σχεδιασμό περίπλοκων ηλεκτρικών κυκλωμάτων. Ο Frege θα έμενε εμβρόντητος εάν ανακάλυπτε πως λογικοί κανόνες αντίστοιχοι με τους δικούς του έχουν ενσωματωθεί σε προγράμματα ηλεκτρονικών υπολογιστών που προορίζονται για τη διεξαγωγή αποδεικτικών διαδικασιών. Ο Cantor σίγουρα δεν προέβλεψε ποτέ τις επιπτώσεις της δικής του έμπνευσης μεθόδου διαγωνιοποίησης. Το πρόγραμμα διασφάλισης των θεμελίων των μαθηματικών του Hilbert στόχευε σε μια τελείως διαφορετική κατεύθυνση. Και ο Goedel, ο οποίος έζησε μια ζωή στο χώρο του ιδεατού, καθόλου δεν σκέφτηκε πως οι θεωρίες του θα μπορούσαν να εφαρμοστούν στην πράξη σε μηχανικές συσκευές. Ωστόσο: Το μεγάλο όραμα του Turing έγινε πια πραγματικότητα.