최초로 이것을 설명한 사람이 1651년의 Thomas Hobbes입니다. 그는 계산과 논리가 어떻게 같은 지 설명했습니다. 우리가 인위적인 생각과 추론을 할 때, 이 모든 것을 계산으로 대신할 수 있다는 것입니다.
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.