On Matijasevitch's Nontraditional Approach to Search Problems

Abstract

* The work of the first author was partially supported by NSF Grant DMS 85-01752. * * The work of the second author was partially supported by NSF Grant DCR85-03275. Also, during the final stage of the work the second author was with Stanford University and IBM Almaden Research Center (on a sabbatical leave from the University of Michigan). We offer here our critical reaction, pointing out some apparently major problems with the suggested methods. In spite of the criticism, the spirit of nontraditional methods appeals to us. For the reader’s convenience, the reaction is interleaved with descriptions of the methods.

DOI: 10.1016/0020-0190(89)90067-7

Cite this paper

@article{Blass1989OnMN, title={On Matijasevitch's Nontraditional Approach to Search Problems}, author={Andreas Blass and Yuri Gurevich}, journal={Inf. Process. Lett.}, year={1989}, volume={32}, pages={41-45} }