Cover: The Decision Method for Real Algebra

The Decision Method for Real Algebra

Is It Practical?

Published 1966

by Joel Friedman

Download

Download eBook for Free

FormatFile SizeNotes
PDF file 1.3 MB

Use Adobe Acrobat Reader version 10 or higher for the best experience.

Purchase

Purchase Print Copy

 Format Price
Add to Cart Paperback51 pages $23.00

Presentation of Tarski's decision procedure in a modified form. The procedure is reduced to three basic methods. Each method processes a basic formula of Real Algebra. The efficiency of each is discussed. An alternative to the third method, invented by Hamblin, is also presented and discussed. For each of these methods, only a partial measure of efficiency is offered. This partial measure is not determined exactly, but rather to within certain bounds. The general impracticality of both the third method and its alternative is inferred from the partial measure of efficiency. The general impracticality of the whole decision procedure is shown. Presentation of Tarski's decision procedure in a modified form. The procedure is reduced to three basic methods. Each method processes a basic formula of Real Algebra. The efficiency of each is discussed. An alternative to the third method, invented by Hamblin, is also presented and discussed. For each of these methods, only a partial measure of efficiency is offered. This partial measure is not determined exactly, but rather to within certain bounds. The general impracticality of both the third method and its alternative is inferred from the partial measure of efficiency. The general impracticality of the whole decision procedure is shown.

This report is part of the RAND research memorandum series. The Research Memorandum was a product of RAND from 1948 to 1973 that represented working papers meant to report current results of RAND research to appropriate audiences.

This document and trademark(s) contained herein are protected by law. This representation of RAND intellectual property is provided for noncommercial use only. Unauthorized posting of this publication online is prohibited; linking directly to this product page is encouraged. Permission is required from RAND to reproduce, or reuse in another form, any of its research documents for commercial purposes. For information on reprint and reuse permissions, please visit www.rand.org/pubs/permissions.

RAND is a nonprofit institution that helps improve policy and decisionmaking through research and analysis. RAND's publications do not necessarily reflect the opinions of its research clients and sponsors.