Edmund C. Berkeley

Symbolic Logic
Mark I and II
UNIVAC
ACM
Giant Brains
Computers and Automation
Simon
Berkeley Enterprises
SANE
AI and LISP

Timeline

• 1909, Born
• 1930, Harvard BA in Mathematics and Logic
• 1930, joins Mutual Life Insurance of NY as actuarial clerk
• 1934, joins Prudential Insurance of America, becomes chief research consultant
• 1938, joins Prudential's Actuarial Department
• 1939, visits Bell Labs to see George Stibitz's calculator
• 1941, writes memoranda on the applications of symbolic logic

• 1942, serves in Naval Reserves, stationed at Harvard, observes Mark I, worked on building Mark II

• 1946, returns to Prudential as a Methods Analyst
• 1946, writes "Sequence Controlled Calculators for the Prudential - Specifications - First Draft, November, 1946"
• 1947, talks to Mauchly about the Univac
• 1947, Prudential signs contract with EMCC to build the Univac

• 1947, Founds Eastern Association for Computing Machinery
• 1948, EACM renamed ACM
• 1948, Prudential signs contract to purchase the Univac
• 1948, leaves Prudential

• 1949, writes Giant Brains or Machines that Think

• 1950, Scientific American publishes Simon article
• 1950-1951, Radio Electronics publishes 13 Simon articles

• 1950, Publishes Computers and Automation, the first computer magazine (originally Roster of Organizations in the Field of Automatic Computing Machinery, then The Computing Machinery Field)
• 1951, Remington Rand buys EMCC, tries to renegotiate Univac contract
• 1951, Prudential sees Univac demo, decides it's too expensive

• 1954, Berkeley Associates becomes Berkeley Enterprises, Inc.
• Apr 1956, Small Robots Report
• Sep 25 1956, Job List Memo

• 1958, joins SANE

• 1959, writes Symbolic Logic and Intelligent Machines. New York: Reinhold Publishing
• 1960, discusses controversy over possible communists in SANE with Norman Cousins and Linus Pauling
• 1964, The Programming Language LISP : Its Operation and Applications
• 1988, Dies