George Boole, 1815-1864
George Boole was born 200 years ago on November 2, 1815, the son of a shoemaker in Lincolnshire in the south of England. Largely self-taught as a mathematician (at age 16 he read Lacroix's Differential and Integral Calculus in its original French), he was fortunate in gaining mentorship from Augustus de Morgan. While principal of a private school, Boole began original work on calculus, differential equations, and analytical geometry, publishing 11 early papers in the Cambridge Mathematical Journal (although he never attended Cambridge University). In 1844 his first publication in the prestigious Transactions of the Royal Society of London was awarded a gold medal, and he became Fellow of the Royal Society a few years later. In 1849 he was named Professor of Mathematics at the newly founded Queen’s College in Cork, Ireland, where he had a distinguished teaching and research career. He published 60 mathematical papers and four books.
Boole died on December 8, 1864, acclaimed in his time as a leading mathematician and educational reformer. His 400-page magnum opus, An Investigation of the Laws of Thought (1853), is full of algebra, function theory, logic, and probabilities. While it does not explicitly define the "Boolean algebra" of ones and zeros that the digital world depends on, it inspired many subsequent pioneers. Logician Henry Sheffer coined the term "Boolean algebra" in 1913, and Whitehead and Russell's revised Principia Mathematica (1925–27) popularized it. Claude Shannon was introduced to Boole in a philosophy class at the University of Michigan, and subsequently developed the deep insight connecting Boolean algebra to telephone switching circuits in his Massachusetts Institute of Technology Master's thesis in 1937. Simultaneously, Victor Shestakov in Moscow made a near-identical discovery but did not publish his findings until 1941. Thus, in this case as in so many others, “success has a thousand fathers,” but it was Boole's seminal work that established the essential foundation.
Written by leading domain experts for software engineers, ACM Case Studies provide an in-depth look at how software teams overcome specific challenges by implementing new technologies, adopting new practices, or a combination of both. Often through first-hand accounts, these pieces explore what the challenges were, the tools and techniques that were used to combat them, and the solution that was achieved.
ACM Queue’s “Research for Practice” is your number one resource for keeping up with emerging developments in the world of theory and applying them to the challenges you face on a daily basis. In this installment, Dan Crankshaw and Joey Gonzalez provide an overview of machine learning server systems. What happens when we wish to actually deploy a machine learning model to production, and how do we serve predictions with high accuracy and high computational efficiency? Dan and Joey’s curated research selection presents cutting-edge techniques spanning database-level integration, video processing, and prediction middleware. Given the explosion of interest in machine learning and its increasing impact on seemingly every application vertical, it's possible that systems such as these will become as commonplace as relational databases are today.
Why I Belong to ACM
Hear from Bryan Cantrill, vice president of engineering at Joyent, Ben Fried chief information officer at Google, and Theo Schlossnagle, OmniTI founder on why they are members of ACM.