14 January 2021, World-Logic-Day Lecture, Moshe Vardi

Abstract: Logic started as a branch of philosophy, going back to Greeks, who loved debates, in the classical period. Computers are 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. This is a story full of both intellectual drama, as well as real-life drama, with most of the characters dying young, miserable, or both.

The talk is part of a series of World Logic Day events and is aimed at a general audience.

The talk is now available online at https://www.youtube.com/watch?v=wOQuW6QFdos&feature=youtu.be