Sorry for bugging, but how did you come around this gem? I thought I had a half of mathematical blogosphere on my radar already, yet no one seem to mention this, including Gowers himself. Or maybe you just happened to check Cambridge course table?
Obviously, I can't speak for amichail, but I heard about the lectures via Peter Smith's blog: http://logicmatters.blogspot.com/ Smith is a philosopher at Cambridge who is sitting in on the lectures; he also runs a nice blog.
