La prima persona che davverò la spiegò fu Thomas Hobbes che, nel 1651, spiegò come l'aritmetica e la logica sono la stessa cosa, e che se vogliamo un pensiero artificiale e una logica artificiale, possiamo realizzarle con l'aritmetica.
De eerste persoon die dat begreep was Thomas Hobbes, die in 1651, aantoonde hoe rekenkunde en logica hetzelfde zijn, en hoe je kunsmatig denken en kunstmatige logica allemaal kunt doen met rekenkunde.