World Logic Day: What Came First, Math or Computing?
Moshe Y. Vardi, University Professor and the George Distinguished Service Professor in Computational Engineering at Rice University
This talk is being held in conjunction with World Logic Day. The proclamation of World Logic Day by UNESCO, in association with the International Council for Philosophy and Human Sciences (CIPSH), intends to bring the intellectual history, conceptual significance and practical implications of logic to the attention of interdisciplinary science communities and the broader public.
The YouTube recording is now available here.