On Machines Which Prove Theorems

The invention of computation goes far back in the history of the human mind. And, even though for many centuries it remained technically inefficient and theoretically crude, it fascinated mankind already in this underdeveloped stage. Perhaps the very defects in the art of computation offer the best explanation of the fact that, for a long time, it was considered a kind of black magic.