Jake DiBello’s Reviews > Gödel, Escher, Bach: An Eternal Golden Braid > Status Update

Today was a dialogue between the tortoise and Achilles that was very meta inside an Escher painting and a meta genie

…A perfect formal system should be able to produce every statement including the one that proves itself wrong and by that very statement it is itself wrong. This was told through a dialogue.

(Idk if this is right so far but that’s what I’ve gotten from it)

The following thread through the book so far has been on the importance and unimportance of isomorphisms.

Most importantly so far as Gödels incompleteness theorem is concerned it discussed how a “formal system” that is “perfect” should be able to produce a theorem that “destroys” the system and by that definition it is not perfect because it “breaks itself”

So far this has been about (in small part) fugues in relation to Bach and strange loops which refer to the recursive properties that many systems seem to have.

Even more recently in the book it has mostly been about formal systems and how they work. How formal systems often use definitions for terms that may not perfectly align with the real world. Some Formal systems don’t align perfectly with the external world