En 1936, surgen de un modo casi simultáneo varios modelos distintos del concepto de calculabilidad efectiva.