>>11257415The computer is evidence in support of Russell's claim that mathematics is reducible to logic. I can perform all kinds of abstract mathematical operations on my computer but the computer running those operations can be built using only NAND gates. If it's a mathematical operation I can perform in software then that operation *can* be represented, and *is* being represented, equivalently in statements of logic.
I can run Wolfram's Mathematica on my computer and perform all kinds of mathematical operations but those operations are all reducible to statements of logic. They *have* to be in order that the operations be executed by the machine. They are equivalent ways of expressing the same thing. There's no mathematical operation you can perform in any math software which can't also be expressed by a collection of NAND gates.
Math simplifies to logic and logic simplifies to the NAND gate.
