Respuesta
Alan Turing no demostró que una máquina que procesa flujos de 1 y 0 pueda resolver cualquier problema.
En 1936 publicó el artículo On Computable Numbers, with an Application to the Entscheidungsproblem, en el que introdujo la máquina de Turing, un dispositivo teórico capaz de ejecutar cualquier cálculo computable.
Este modelo sentó las bases de la informática moderna y mostró que, aunque la máquina manipula únicamente símbolos binarios, su capacidad de cálculo es universal.