When I was young, my paternal grandparents gave me a gift subscription to a magazine called “Science ’85” (later “Science ’86” and so on). As the linked Wikipedia entry discusses, this was a general interest science magazine published by the American Association for the Advancement of Science (AAAS). (AAAS also publishes “Science”, which is a highly prestigious and technical peer-reviewed journal.)
One of the articles I remember from that magazine was about Kurt Gödel. That was the first time I’d ever encountered the man, and I find him fascinating in general. I think one of the reasons I’m fascinated by Gödel is the relationship between his Incompleteness theorem and Turing’s “On Computable Numbers, with an Application to the Entscheidungsproblem.”
This is a lecture: “Kurt Godel: The World’s Most Incredible Mind” by Mark Colyvan of the University of Sydney. (The title given in the video is “Kurt Gödel and the Limits of Mathematics”.) Each of these chunks is about 15 minutes long, so you can take some time to recover between parts.
Part 1:
Part 2:
Part 3: