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

by Roger Penrose

Fig. 4.5. The set defined by the exponential relation y ≥ ex should also count as ‘recursive’.