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

by Roger Penrose

This again illustrates aspects of Gödel’s theorem: that the concept of mathematical truth is only partly accessible by the means of formal argument.