La idea de un lenguaje o algoritmo capaz de poder determinar la verdad científica de manera clara y segura, incluidas las verdades de la fe, ya aparecen en el intento de Ramon Llull(Raimundo Lulio), 1253-1315, en su “ars magna”.