english: The first person to really explain that was Thomas Hobbes, who, in 1651, explained how arithmetic and logic are the same thing, and if you want to do artificial thinking and artificial logic, you can do it all with arithmetic.
non_english: 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.