THE DECISION METHOD FOR REAL ALGEBRA: IS IT PRACTICAL.
Abstract
This memorandum deals with the practicality of Tarski's decision procedure for the mathematical theory of Real Algebra. The procedure is presented in a modified form. It is reduced to three basic methods. Each method processes a basic kind of formula of Real Algebra. The efficiency of each of these methods is discussed. Finally, an alternative to the third method, invented by Hamblin, is presented. Its efficiency is also discussed. For each of these methods, only a partial measure of efficiency is offered. This partial measure is itself not determined exactly, but rather to within certain bounds. The general impracticality of both the third method and its alternative is then inferred from this partial measure of efficiency. Hence the general impracticality of the whole decision procedure follows. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 1966
- Accession Number
- AD0627643
Entities
People
- Joel Friedman
Organizations
- RAND Corporation