Für Wittgenstein sind Turings Maschinen in Wirklichkeit „die Menschen, welche kalkulieren.“ Wollte er damit Turings Ansichten bestätigen oder zurückweisen? Man muss genauer fragen, welche Art von Anthropomorphismus Turing mit seiner These von den Menschen-Maschinen und ihren imitierenden Rechenspielen im Sinn hatte. Diese Frage erhält noch größeres Gewicht, wenn man bedenkt, dass Gödel Turings Definition eines formalen Systems als „präzise und fraglos angemessen“ für den Beweis des Unvollständigkeitssatzes bezeichnete.
In dem Vortrag werden hauptsächlich Wittgensteins und Turings Auffassungen zu den Grundlagenfragen der Mathematik erörtert. Darüber hinaus soll aber auch Gödels These diskutiert werden, Turings Fehler bestehe darin, mentale Aktivitäten als gleichsam mechanische Prozesse zu begreifen.