George Boole (1815-1864) foi um matemático britânico e é conhecido como o fundador da lógica matemática. Boole, que veio de uma família pobre e era essencialmente um matemático autodidata, tornou sua presença conhecida no mundo da matemática em 1847 após a publicação de seu livro, "The Mathematical Analysis of Logic". Em seu livro, Boole demonstrou com sucesso que a lógica, como Aristóteles a ensinou, poderia ser representada por equações algébricas. Em 1854, Boole estabeleceu firmemente sua reputação ao publicar "An Investigation of the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities", uma continuação de seu trabalho anterior.
Em 1855 Boole, o primeiro professor de matemática do The College of Cork, Irlanda, casou-se com Mary Everest, agora conhecida como matemática e professora por direito próprio. Mary, que era 18 anos mais nova que Boole, serviu como caixa de ressonância e editora para seu marido ao longo de seus nove anos de casamento. Infelizmente, a má escolha de tratamento médico de Mary pode ter apressado a morte de Boole. Depois de ser apanhado pela chuva e apanhar uma constipação, Boole foi colocado na cama pela sua esposa, que jogou baldes de água nele com base na teoria de que o que quer que tivesse causado a doença também proporcionaria a cura. (Pareceu-lhe lógico.) George e Mary tiveram cinco filhas; a terceira filha, Alicia Boole Stott, tornou-se conhecida pelo seu trabalho na visualização de figuras geométricas no hiperespaço.
O trabalho de Boole na lógica simbólica, colectivamente conhecida como "Álgebra Boole", é amplamente considerado como baseado no trabalho do matemático anterior G. W. Leibniz. Embora o trabalho de Boole tenha sido bem recebido durante sua vida, foi considerado como matemática "pura" até 1938, quando Claude Shannon publicou sua tese no MIT. Shannon demonstrou que a lógica simbólica de Boole, como se aplica à representação de VERDADEIRO e FALSO, podia ser usada para representar as funções dos comutadores em circuitos eletrônicos. Isto tornou-se a base para o design eletrônico digital, com aplicações práticas em comutação telefônica e engenharia informática.
Hoje, quando usamos um mecanismo de busca na Internet, usamos os conceitos matemáticos de Boole para nos ajudar a localizar informações, definindo uma relação entre os termos que entramos. Por exemplo, pesquisar por George AND Boole encontraria cada artigo em que tanto a palavra George como a palavra Boole aparecem. Procurar por George OU Boole encontraria todos os artigos em que tanto a palavra George como a palavra Boole aparecessem. Chamamos a isto uma pesquisa booleana.