C. Strachey's scientific contributions

Citations

... In The Emperor's New Mind [80] and especially in Shadows of the Mind [81], the eminent physicist, Roger Penrose, contends that human reasoning cannot be captured by a mechanical device because humans detect nontermination of programs in cases where digital machines cannot [82]. Penrose thus adapts the similar argumentation of Lucas [83], which was based on Gödel's incompleteness results. ...