"The talk focuses on the relationship of mathematical logic and computer science -- or, at least, theoretical computer science because there are parts of computer science today (for example, what is called human-computer interaction) which are totally unrelated to mathematical logic."