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.
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.