CLC Kreisel Lecture