BRACERS Record Detail for 3085
To access the original letter, email the Ready Division.
Collection code
RA1
Class no.
710
Document no.
055974
Box no.
5.45
Recipient(s)
BR
Sender(s)
Simon, Herbert A.
Date
1956/10/02
Enclosures/References
"The Logic Theory Machine"
Form of letter
TLS
Pieces
1
Notes, topics or text
Also in file: TL(CAR).
Simon sends BR his computer proof of Principia proofs. The enclosure is "The Logic Theory Machine: a Complex Information Processing System".
Record no.
3085
Record created
May 17, 2014
Record last modified
Nov 28, 2014
Created/last modified by
duncana
