Sweet poem. I remember being blown away when I studied computer science. The whole idea that there are inherit limits to computing on Turing machines seemed crazy.

Gödel's incompleteness theorems has a similar proof that will mess with your brain :)