Formal Methods pp 112-121 | Cite as

On Machines Which Prove Theorems

  • Evert W. Beth
Part of the Synthese Library book series (SYLI, volume 4)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© D. Reidel Publishing Company, Dordrecht, Holland 1962

Authors and Affiliations

  • Evert W. Beth

There are no affiliations available

Personalised recommendations