Accession Number : AD0292980

Title :   ON THE MECHANIZATION OF THE THEORY OF NUMBERS

Corporate Author : HEBREW UNIV JERUSALEM (ISRAEL)

Personal Author(s) : MACHOVER,M. ; ROBINSON,A.

Report Date : SEP 1962

Pagination or Media Count : 1

Abstract : Research is presented on the infant science of theorem proving by machine, which in its turn belongs to the wider subject of artificial intelligence. Number theory is a natural candidate for mechanization and its consideration for this purpose has been suggested by several investigators. The present paper is written in the belief that ultimate success in this field is likely to be achieved only as a result of long and arduous work. The writers know from conversations that other researchers are considerably more optimistic in their assessment of the problem. (Author)

Descriptors :   *NUMBER THEORY, *NUMERICAL METHODS AND PROCEDURES, MEMORY DEVICES, DATA STORAGE SYSTEMS, DISTRIBUTION THEORY, MACHINES, MATHEMATICAL LOGIC, MATHEMATICAL PREDICTION

Distribution Statement : APPROVED FOR PUBLIC RELEASE