Leibniz's logical writings on binary arithmetic and universal character are scattered across essays, letters, drafts, and memoranda rather than gathered in a single finished book. Their unity lies in a dream: reasoning might be made clearer, more reliable, and more inventive by a symbolic language whose elements combine according to rules.
Genre
Computing
Ada Lovelace's Notes on Menabrea's Sketch of the Analytical Engine begin as an act of translation and become a theory of computation. Luigi Menabrea had published a French account of Charles Babbage's proposed Analytical Engine after hearing Babbage lecture in Turin.
An Investigation of the Laws of Thought is George Boole's attempt to express logic, probability, and reasoning in mathematical form. The book begins from a bold premise: the operations of the mind in reasoning can be studied through symbols and laws analogous to those of algebra.
On Formally Undecidable Propositions is one of the decisive works in the history of logic. Godel addresses the dream that mathematics might be placed on a complete and consistent formal foundation, a dream associated with Hilbert's program.
This paired entry brings together Alan Turing's 1936 paper On Computable Numbers, with an Application to the Entscheidungsproblem and his 1950 essay Computing Machinery and Intelligence. The first paper attacks a precise mathematical problem: what does it mean for a number or function to be computable?
A Logical Calculus of the Ideas Immanent in Nervous Activity is a short paper with a long afterlife. McCulloch and Pitts propose an idealized model of neurons that fire or do not fire according to logical relations among their inputs.
First Draft of a Report on the EDVAC is not a polished monograph but a technical memorandum whose influence exceeds its form. Written in 1945 for the Electronic Discrete Variable Automatic Computer project, it describes a general-purpose electronic digital computer in which numerical data and operating instructions occupy the same high-speed memory.
This entry joins Claude Shannon's 1938 master's thesis on relay and switching circuits with his 1948 paper A Mathematical Theory of Communication. The thesis made a decisive engineering move: it showed that Boolean algebra could describe and simplify relay circuits.
Cybernetics presents one of the twentieth century's boldest attempts to unite machines, organisms, and societies under a single vocabulary of control, communication, feedback, and information. Wiener begins from wartime problems of prediction, especially the effort to anticipate the path of aircraft quickly enough for anti-aircraft fire.