Article PDF
References
Turing, A. M. Mind 59, 434–460 (1950).
McCune, W. J. Automated Reasoning (in the press).
Appel, K. & Haken, W. Bull Am. Math. Soc. 82, 711–712 (1976).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Casti, J. Creation in silicon. Nature 385, 399 (1997). https://doi.org/10.1038/385399a0
Issue Date:
DOI: https://doi.org/10.1038/385399a0