Moshe Y. Vardi: From Logic to Technology and Back
Penn Arts & Sciences and Penn Engineering presents The Tenth Thomas and Yvonne Williams Lecture for the Advancement of Logic and Philosophy
Penn Arts & Sciences and Penn Engineering presents The Tenth Thomas and Yvonne Williams Lecture for the Advancement of Logic and Philosophy
DUE TO A RISE IN COVID, THIS EVENT HAS BEEN POSTPONED UNTIL FALL 2022.
Logic started as a branch of philosophy, going back to Greeks, who loved debates, in the classical period. Computing technology is relatively young, dating back to World War II, in the middle of the 20th century. This talk tells the story of how logic begat computing, tracing the surprising path from Aristotle to the iPhone. But just as logic encountered its unresolvable conundrum in Gödel's Incompleteness Theorem, technology has encountered its conundrums in the Popperian Paradoxes.