Mathematical reasoning may be regarded...

Alan Turing

Mathematical reasoning may be regarded...