Also see Scott Aaronson's lectures:

http://www.scottaaronson.com/democritus

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.

Thank you Michael!

How you and capable people manage to keep an eye on so many fields is a mystery for me.

This would be the editor of the incredibly awesome Princeton Guide to Mathematics. If you don't have a copy I would strongly recommend getting one.

Well, considering these are videos; you're right probably not that many people "read" them. But to your general nature, look at the title bar up there ^^^^ some of us actually like computer science. Just a thought.