Mathematical reasoning may be regarded rather schematically as the exercise of a combination of two facilities, which we may call intuition and ingen… - Alan Turing

It seems probable that once the machine thinking method had started, it would not take long to outstrip our feeble powers… They would be able to converse with each other to sharpen their wits. At some stage therefore, we should have to expect the machines to take control.

It is possible to invent a single machine which can be used to compute any computable sequence. If this machine <math>\mathcal{U}</math> is supplied with a tape on the beginning of which is written the S.D of some computing machine <math>\mathcal{M}</math>, then <math>\mathcal{U}</math> will compute the same sequence as <math>\mathcal{M}</math>.

The Exclusion Principle is laid down purely for the benefit of the electrons themselves, who might be corrupted (and become dragons or demons) if allowed to associate too freely.