It is readily possi-ble to construct a machine which will manipulate premis-es in accordance with formal logic, simply by the cleveruse of relay circuits. Put a set of premises into such adevice and turn the crank, and it will readily pass out con-clusion after conclusion, all in accordance with logical law,and with no more slips than would be expected of a key-board adding machine
This feels like the predecessor of the modern computer. While this "didn't exist yet" and was much less feasible back then, it actually did! While it feels far off and like an innovation of the future, there was the top secret Turing machine the UK created to crack enigma. This makes me wonder if there are things today that feel like far off and distant technology that actually exist already in top secret government labs.