The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics (Oxford Landmark Science)

by Roger Penrose

There are many other subsets of ℕ which are recursively enumerable, and we need make no reference to our formal system in order to define them.