22: Incomplet (Gödel, Escher, Bach: an Eternal Golden Braid: Chapter IV Discussion)

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/appSupport this podcast: https://anchor.fm/breakingmathpodcast/support