Skip to content

emijrp/logic-theorist

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

2 Commits
 
 
 
 

Repository files navigation

logic-theorist - The sources of the first theorem prover.

This repository contains a scan of the full sources of Newell/Simon's Logical Theorist, the first theorem proving program.

The sources are part of technical report P-868 of the Rand Corporation (1956; see http://shelf1.library.cmu.edu/IMLS/MindModels/logictheorymachine.pdf.)

A transcription would be very welcome.

About

The sources of the first theorem prover.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published