The Isaac Newton of logic

In his report, Von Neumann outlined the architecture of a stored-program digital computer, an ancestor of most computers in use today. But the existence of both the computer and Google can be traced to a much earlier date. It was 150 years ago that George Boole published his literary classic The Laws of Thought, wherein he devised a mathematical language for dealing with mental machinations of logic. It was a symbolic language of thought -- an algebra of logic (algebra is the branch of mathematics that uses letters and other general symbols to represent numbers and quantities in formulas and equations). In doing so, he provided the raw material needed for the design of the modern high-speed computer.