skip to content

Logic and Algorithms

Friday 17th March 2006 - 14:15 to 15:15
INI Seminar Room 1

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.

Presentation Material: 
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons