MIT ES.258 - GEB: A Mental Space Odyssey (notes)
https://open.spotify.com/episode/7musTKoozIzhs59688mZg8
Roger Penrose explains Godel's incompleteness theorem in 3 minutes
"What Is a Strange Loop and What is it Like To Be One?" by Douglas Hofstadter (2013)