used in Gödel, Escher, Bach or the more familiar Peano Arithmetic or some other sufficiently rich formal arithmetic. Thus, there are examples of sentences "which say about themselves that they are provable", but they don't exhibit the sort of downward causal powers described in the displayed quote.

Examples

Hofstadter points to Bach's Canon per Tonos, M. C. Escher's drawings Waterfall,

1.Previous
3.Next