mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Seminars » 2012-2013 » E. Zachos, 2012-12-14 { prev, contents, next } Anonymously browsing from 54.158.214.111 at 21:43:11, 17-11-2017. login
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

Page updates

No recent updates.

Feeds RSS and Atom feeds

posts
all posts RSS
news RSS
announcements RSS
website news RSS
events
all events RSS
defenses RSS
exams RSS
seminars RSS
graduations RSS
Web standards: XHTML1.0, CSS3.
© 1996 – 2017 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.