ADEPT - a Heuristic Program for Proving Theorems of Group Theory; Project MAC.
MIT, Project MAC, thesis, October 1966; 178 pages.
Condition: Very Good, cardstock covers, softcover; MAC-TR-33 (Thesis), with Marvin Minsky as thesis supervisor (Minsky's printed signature as one of three on the title page) Rubberstamped numerals along margin of front cover. Binding is secure and sound, pages clean, unmarked.
Keywords: ADEPT Heuristic Program for Proving Theorems of Group Theory, Project MAC, special purpose heuristics
'A computer program, named ADEPT (A Distinctly Empirical Prover of Theorems), has been written which proves theorems taken from the abstract theory of groups. Its organization is basically heuristic, incorporating many of the techniques of the human mathematician in a 'natural' way. This program has proved almost 100 theorems, as well as serving as a vehicle for testing and evaluating special-purpose heuristics. A detailed description of the program is supplemented by accounts of its performance on a number of theorems, thus providing many insights into the particular problems inherent in the design of a procedure capable of proving a variety of theorems from this domain. Suggestions have been formulated for further effrots along these lines, and comparisions with related work previously reported in the literature have been made' (Abstract).