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.
Prima persoană care a explicat asta era Thomas Hobbes care în 1651 a explicat cum aritmetica şi logica sunt una şi aceiaşi, şi dacă doriţi să realizaţi gândire şi logică artificiale, o puteţi face cu aritmetica.