Machover, Moise. On the Mechanization of the Theory of Numbers. Jerusalem: US Office Naval Research, Technical Report No. 9, 1962. 1st edition. 37pp 4to. Original printed wrappers. Very good condition. Written with A(braham) Robinson this unusual effort is UNLOCATED in the NUC, and only one copy is found (or one "page" is found) in the OCLC/WorldCat, that being at the Defense Technical Information Center at Fort Belvoir. The book seems to be pretty rare. (Book ID 22695) $450.00
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)
Comments