Search results
Results From The WOW.Com Content Network
George Boole (/ b uː l /; 2 November 1815 – 8 December 1864) was a largely self-taught English mathematician, philosopher and logician, most of whose short career was spent as the first professor of mathematics at Queen's College, Cork in Ireland.
Contributions to the foundations of computational complexity theory and its application to cryptography and program checking [16] 1966 Böhm, Corrado: Theorized of the concept of structured programming. 1847, 1854 Boole, George: Formalized Boolean algebra, the basis for digital logic and computer science. 1947 Booth, Kathleen
George Boole (England/Ireland, 1815–1864) George Boolos (US, 1940–1996) Nicolas Bourbaki (pseudonym used by a group of French mathematicians, 20th century) Thomas Bradwardine (England, c. 1290–26 August 1349) Richard Brinkley (England, died c. 1379) Luitzen Egbertus Jan Brouwer (Netherlands, 1881–1966) Alan Richard Bundy (UK, born 1947)
An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities by George Boole, published in 1854, is the second of Boole's two monographs on algebraic logic. Boole was a professor of mathematics at what was then Queen's College, Cork, now University College Cork, in Ireland.
George Boole Modern logic begins with what is known as the "algebraic school", originating with Boole and including Peirce , Jevons , Schröder , and Venn . [ 115 ] Their objective was to develop a calculus to formalise reasoning in the area of classes, propositions, and probabilities.
George Boole, whose Boolean algebra (1854) laid the foundations of the Information Age. 1630–1632: The slide rule invented by William Oughtred (1574–1660), developing on work by Edmund Gunter (1581–1626) and Edmund Wingate (1596–1656). [17] [152]
A timeline of mathematical logic ; see also history of logic. 19th century 1847 – George Boole proposes symbolic logic in The Mathematical Analysis of Logic, defining what is now called Boolean algebra. 1854 – George Boole perfects his ideas, with the publication of An Investigation of the Laws of Thought. 1874 – Georg Cantor proves that the set of all real numbers is uncountably ...
This is the family of George Boole, a mathematician, philosopher and logician. Boole's Boolean Algebra laid the foundation of modern computer science. George Boole was born in 1815 to John Boole Sr., a shoemaker and Mary Ann Joyce. George Boole had 3 siblings, 2 brothers and 1 sister, namely Charles Boole, William Boole and Mary Boole.