Moshe Vardi World Logic Day Webinar, From Aristotle to the iPhone

RiceCompSci · 9K views · 2021 · 1:15:04

Open on YouTube

Logic & formal methodsother

Why the open web links it

Traces the historical development of logic from Aristotle to modern computing and the iPhone.

Linked by 2 independent sites, 2 of them widely read in the 2026-10 crawl of the open web, including uva.nl, imdea.org.