Τεύκρος Μιχαηλίδης | «Calculus ratiocinator: Από τον Leibniz στον Turing»

Στην ομιλία του « Calculus ratiocinator: Από τον Leibniz στον Turing », ο συγγραφέας και μαθηματικός Τεύκρος Μιχαηλίδης αναφέρεται στη ζωή του κορυφαίου μαθηματικού, αλλά και στο πώς κατάφερε να μεταφράσει τη θεωρητική γλώσσα της Λογικής σε ένα μηχανικό μοντέλο, δίνοντας, μέσω αυτού, απαντήσεις σε μεγάλα θεωρητικά προβλήματα σχετικά με τη θεμελίωση των μαθηματικών. Η συνεισφορά του είχε καθοριστικό ρόλο στον σχεδιασμό της αρχιτεκτονικής των ηλεκτρονικών υπολογιστών.