Exploring Self-Reference in Mathematics

Gödel, Escher, Bach is a book about everything from formal logic to the intricacies underlying the mechanisms of reasoning. For that reason, we've decided to make a tribute episode; specifically, about episode IV. There is a Sanskrit word "maya" which describes the difference between a symbol and that which it symbolizes. This episode is going to be all about the math of maya. So what is a string? How are formal systems useful? And why do we study them with such vigor?

--- 

This episode is sponsored by 

· Anchor: The easiest way to make a podcast.  https://anchor.fm/app

Support this podcast: https://anchor.fm/breakingmathpodcast/support