An Isaac Newton Institute Programme

Logic and Algorithms

Logic and Algorithms

17th March 2006

Author: Vardi, M (Rice University)


What on earth does the obscure, old intellectual discipline have to do with the youngest intellectual discipline of computer science? In this overview talk I will explain not only how logic begat computer science, but also how logic has permeated computer science over the last few days so much that it has been called "the calculus of computer science." I will particularly focus on computational-complexity theory and its possible connections with statistical mechanics.