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

by Roger Penrose

variables that can occur in an expression. We regard the prime (‘) as a separate symbol of the formal system, so that the actual number of symbols remains finite. We shall