En 1928, los matemáticos alemanes David Hilbert y Wilhelm Ackermann propusieron una pregunta llamada el Entscheidungsproblem (“problema de decisión”). Con el tiempo, su pregunta conduciría a una definición formal de computabilidad, que permitió a los matemáticos responder a una serie de nuevos problemas y sentó las bases para la informática teórica.