Hello Alex!
I read GEB about a decade ago, and recently have been enjoying Godel's Proof, which was the primary source for Hofstadter.
I'm interested to develop a godel numbering implementation in Python, and may find this package suitable for its basis. Would you ever support PM as a formal system?
Best
Johnny
Hello Alex!
I read GEB about a decade ago, and recently have been enjoying Godel's Proof, which was the primary source for Hofstadter.
I'm interested to develop a godel numbering implementation in Python, and may find this package suitable for its basis. Would you ever support PM as a formal system?
Best
Johnny