BRACERS Record Detail for 3085
To access the original letter, email the Russell Archives.
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
Full date (Estimate)
1956/10/02
Enclosures/References
"The Logic Theory Machine"
Form of letter
TLS
Pieces
1
Notes and topics
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
Jan 27, 2026
Created/last modified by
admin
