Comment by phab

Douglas Hofstadter's book, "Gödel, Escher, Bach" is very highly recommended reading for anyone who finds this (and the theory of computability more generally) interesting.

I've lost entire days of my life to that book!

https://en.wikipedia.org/wiki/G%C3%B6del,_Escher,_Bach