إن أول شخص يشرح ذلك كان توماس هوبز، في عام 1651 شرح كيف أن الحساب والمنطق هما نقس الشيء وأنك لو أردت أن نصنع التفكير الاصطناعي والمنطق الاصطناعي يمكنك صنعه بالحساب
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 ได้อธิบายว่าเลขคณิตและตรรกศาสตร์เป็นสิ่งเดียวกันอย่างไร และถ้าคุณต้องการคิดประดิษฐ์และตรรกศาสตร์เทียม คุณก็ทำทุกอย่างด้วยเลขคณิต