ON THE MECHANIZATION OF THE THEORY OF NUMBERS
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)
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 01, 1962
- Accession Number
- AD0292980
Entities
People
- Amy K. Robinson
- M. Machover
Organizations
- Hebrew University of Jerusalem