Downloads & Free Reading Options - Results

A computer-based instructional system for teaching the notion of mathematical proof is described. The system is capable of handling formalizations of the full predicate calculus with identity and, with minor work, definite description. Designed as an instructional device, the program is also the basis for a number of research projects involving the use of mechanical theorem-provers for teaching theorem-proving. The entire system is presented here in detail: the program as written in the LISP programing language for a PDP-10 computer. Instructions on how to use the system for research and teaching, block diagrams of key program routines, and example curriculums are included. Enough detail is provided so that versions in other languages for other computer systems may be programed from the information presented here. (Author/JY)

1Boy Crusoe

By Allan Eric

Also published as" A Yankee Crusoe" . A 15 year old hard working and studious farm boy finds the lure of adventure on the seas as a merchant seaman more than he can resist. This is his story. " I was born in a little town in the State of Maine, near the close of the Civil War. My boyhood life did not differ materially from that of the average farmer's son in the remote country districts of New England--except, perhaps, that I read more and thought more. Hard work on the rugged soil, two terms each year in the little yellow country schoolhouse, a day's fishing now and then filled the early years of my life full to over-flowing. " What he gets is enough excitement and adventure to overflow his wildest dreams. How he experiences disaster and uses his wits and knowledge to overcome every problem makes for a great read. - Summary by Phil Chenevert