I always find the Gödel representations using powers of primes too strange. It's technically correct, I can follow the proof, but there is a small corner of my mind that can't believe it.
The GEB book doesn't have all the details, but it uses the ASCII representations (actually base 20 but whatever). With the ASCII representation the theorem feels obvious.
The GEB book doesn't have all the details, but it uses the ASCII representations (actually base 20 but whatever). With the ASCII representation the theorem feels obvious.