
Accession Number : AD0612267
Title : ALGEBRAIC TECHNIQUES AND THE MECHANIZATION OF NUMBER THEORY,
Corporate Author : RAND CORP SANTA MONICA CALIF
Personal Author(s) : Cook,Stephen A.
Report Date : MAR 1965
Pagination or Media Count : 38
Abstract : A number of mechanical procedures for generating proofs of theorems of logic have appeared in the literature, all based on the SkolemHerbrand theorem. Although in principle the procedures can be applied to find proofs of mathematical theorems, the procedures are very inefficient for this purpose because they are designed to operate on too large a domain. This report outlines a general method by which these procedures can be adapted to operate more efficiently on a much more restricted domain: the statements of elementary number theory. The method is given a theoretical justification, and several specific algorithms are described for realizing the general method. These algorithms are applied to examples. Much more detailed study must be done before the method can be successfully utilized by a computer to generate proofs of difficult numbertheoretic theorems. (Author)
Descriptors : (*NUMBER THEORY, MATHEMATICAL LOGIC), (*MATHEMATICAL LOGIC, ALGEBRA), (*ALGEBRA, COMPUTER LOGIC), THEOREMS, COMPUTERS, METAMATHEMATICS, PATTERN RECOGNITION
Distribution Statement : APPROVED FOR PUBLIC RELEASE