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.
最初に記述したのは トマス ホッブズで、1651年に 算術と論理が実質的に同じであることを示し 人工的な思考や論理を実現したければ 算術のみで行え