translation.en: 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.
translation.zh: 这个想法可以追溯到1651年的托马斯·霍布斯，他首先阐述了这个想法。 这个想法可以追溯到1651年的托马斯·霍布斯，他首先阐述了这个想法。 他阐述了算术运算和逻辑是一回事， 如果想要进行人工思维和人工逻辑， 你可以全部用算术运算搞定。