founding modern digital computer science (1 risultati)

Cambridge, Macmillan, Barclay, and Macmillan, 1848. No wrappers as extracted from "The Cambridge and Dublin Mathematical Journal. Edited by W. Thomson." Vol. III. Pp. 183-198. Having the titlepage (2) pp. to the entire volume. First printing of this major paper in the founding of mathematical logic and pure mathematics. The paper offered here is a continuation of Boole's "The Mathematical Analysis of Logic"(1847), pioneering the assimilation of logic to mathematics.Boole showed that how mathematical techniques could be applied to the study of logic, and as such he laid the foundations for the axiomatic and deductive treatment og logic, the Boolean algebra, which find imortent applications in both probability theory and computing. This mathematication of logic was undertaken by Frege and brought to a climax by Whitehead and Russell. Boolean algebra was used for this purpose.Boole's work contains what Bertrand Russell called the greatest discovery of the nineteenth century: the nature of pure mathematics.