ON THE EXISTENCE AND USE OF ALGORITHMS.
Abstract
A complete solution to the problem of locating a sharper estimate than Bachmann for the closure of Finsler's arithmetic operations was sought and found. A proof was also developed to show a correspondence between Schutte's ordinal notation and Takeuti's system of ordinal diagrams. Significant work was done in identifying certain sets as Diophantine. Five solvable cases of word problems for semi-groups were identified as solvable, and three systems of unary second order languages were studied with respect to finite axiomaticability, decision problems, and classification of equivalence models. This work effort should materially contribute to work on mechanized theorem proving and should significantly reduce the amount of time needed to reach solutions conventionally obtained under standard encoding methods and execution techniques. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 1970
- Accession Number
- AD0708529
Entities
People
- Martin D. Davis
Organizations
- New York University