If one would like to explore these ideas further in a very entertaining way then I would suggest Gödel, Escher, Bach by Douglas Hofstadter https://en.wikipedia.org/wiki/G%C3%B6del,_Escher,_Bach