1957 · 129 citations · 0 references
ComputingComputer ScienceFormal MethodsLogicTheory Of ComputationAutomated ReasoningDeductive ReasoningDeductive SystemsMathematical LogicProof TheoryTheorem ProvingComputational LogicProof SearchSymbolic Logic
A companion paper has discussed a system, called the Logic Theory Machine (LT), that discovers proofs for theorems in symbolic logic in much the same way as a human does. It manipulates symbols, it tries different methods, and it modifies some of its processes in the light of experience.