What is Hofstadter talking about in this part of GEB?
Best Answers
It is a recursive definition of recursive functions. Each node in the tree represents a direct proof in G. The tree represents the proof of G. Indirect proofs are not necessarily represented in the tree, and some proofs are not in G. read more