mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Seminars » 2012-2013 » E. Zachos, 2012-12-14 { prev, contents, next }
download seminar details: { pdf }

Seminar

Photo of Zachos
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 έγινε πια πραγματικότητα.

Comments

You must be logged in to comment.

Reporter

Web standards: XHTML1.0, CSS3.
© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.