1. to reduce thinking to computing;
2. to reduce computing to the simplest form, in which just the absolutely necessary elementes are kept on.

The former step amounts to Turing's spectacular success in 1937, the latter was postulated in his papers of 1948 (more technical) and 1950 (more popular) -- see Turing's Chronology.

Subjects to be discussed:

• using tools due to Turing's theoretical results (1937, 1950), for example, his reduction of all computational operations to replacements of physical objects (once upon a time considered by Leibniz), as in hand-operated puzzles;
• testing Turing's claim against our current knowledge of human intelligence;
• comparing that claim with alternative approaches to the mind-computer relationship, as those of Gödel, von Neumann, Eccles, Penrose, etc.