Video: Freeman Dyson's testimonial on Les Houches in 1954. Here on Vimeo. Nobel prizes at the top! To know more about this, follow this link (in french).
Finite and algorithmic model theoryFinite and algorithmic model theory is at the boundary of computer science and mathematics. It studies the relationship between logical definability and computational complexity on finite structures. The consideration of finite structures became intimately related with, for example, computational and descriptive complexity, model checking, database theory, verification, etc., so much so that the boundaries between these subjects are often hard to distinguish.