Solomon Feferman La tesis de Turing (fragmento) "En 1935, Turing fue elegido miembro del King's College gracias a su disertación sobre teoría de la probabilidad, "Sobre la función de error de Gauss", que contenía su redescubrimiento independiente del teorema central del límite. A principios de ese año, comenzó a centrarse en problemas de lógica a través de su asistencia a un curso sobre ese tema impartido por el topólogo Max Newman. Uno de los problemas del curso de Newman que captó la atención de Turing fue el "Entscheidungsproblem", la cuestión de si existe un método eficaz para decidir, dada cualquier fórmula bien formada del cálculo de predicados puro de primer orden, si es válida o no en todas las interpretaciones posibles (es decir, si su negación es satisfactoria o no en alguna interpretación). Este problema se había resuelto afirmativamente para ciertas clases especiales de fórmulas, pero el problema general seguía abierto cuando Turing comenzó a abordarlo. Se convenció de que la respuesta debía ser negativa, pero que para demostrar la imposibilidad de un procedimiento de decisión, debía dar una explicación matemática exacta de lo que significa ser computable mediante un proceso estrictamente mecánico. " El Poder de la Palabra epdlp.com