Establece que toda función computable puede ser implementada en un lenguaje de programación que combine sólo tres estructuras lógicas.
Los científicos de la computación usualmente acreditan el teorema a un artículo de 1966 escrito por Corrado Böhm y Giuseppe Jacopini.
Por otro lado, fue el punto de partida para iniciar el debate.
Edsger Dijkstra escribió una importante carta titulada "La sentencia Go To considerada dañina" en el año 1968.
Posteriores estudios agregaron aproximaciones más prácticas a la demostración de Böhm-Jacopini, que mantenían o mejoraban la claridad del programa original.