 In 1955 , Allen Newell and ( future Nobel Laureate ) Herbert A. Simon created the " Logic Theorist " ( with help from J. C. Shaw ) . The program would eventually prove 38 of the first 52 theorems in Russell and Whitehead 's <unk> <unk> , and find new and more elegant proofs for some . Simon said that they had " solved the venerable mind / body problem , explaining how a system composed of matter can have the properties of mind . " ( This was an early statement of the philosophical position John Searle would later call " Strong AI " : that machines can contain minds just as human bodies do . ) 
