İngiliz matematikçi, eğitimci ve filozof George Boole, 2 Kasım 1815 tarihinde Lincoln’da dünyaya geldi.
Boole, yirmi yaşına gelince bir özel okul açtı.
Burada matematik öğretmesi gerekiyordu.
Babasından aldığı derslerin faydasını gördü.
O dönemin el kitaplarını gözden geçirdi.
Abel ve Galois gibi önemli büyüklerin kitaplarını okudu.
Fazla bir matematik bilgisi olmayanların okuyup anlayamayacağı kesin olarak bilinen Laplace’ın “Gök Mekaniği” ni hiç kimsenin yardımı olmadan okudu ve anladı.
Lagrange’ın “Analitik Mekanik” isimli eserini tam olarak anladı.
Artık, kendisinin yolunu çizmişti.
İlk ilmi çalışması olan değişim hesabı yayınlandı.
Yine tek başına yaptığı çalışmanın ürünü olan invaryantları keşfetti.
Zaten bu invaryantlar olmasaydı; rölativite (bağlılık) kuramı olmazdı.
Ayrıca Cebirsel denklemlerdeki boşlukları doldurdu.
Boole’un yaşadığı dönemde, bir dergide adamın olmadığı sürece bir çalışmanın yayınlatılması imkansızdı.
Boole, bu bakımdan şanslıydı.
Çünkü, 1837 senesinde İskoçya’lı D. F. Gregory isminde bir matematikçi, “Cambridge Mathematical Journal” isminde bir dergi çıkarıyordu.
Boole, derginin müdürüne çalışmalarının birkaçını verdi.
Gregory bu çalışmaların orijinalliğini ve yazış şeklini çok beğendi.
Yazıları yayınladı.
Böylece, iki matematikçi arasında dostça bir arkadaşlık ve mektuplaşmalar yaşamı boyunca sürdü.
Modern cebir kavramı, Peacock, Herschel, De Morgan, Dabbage, Gregory ve Boole sayesinde yerini aldı.
Boole, sembol ve işlemleri kullandı.
de Morgan’ın hem hayranı ve hem de büyük bir dostuydu.
İngiltere’deki büyük matematikçilerle ya kendisi doğrudan ya da mektupla haberleşiyordu.
1848 senesinde “Mantığın Matematik Analizi” isimli bir çalışması yayınlandı.
Bu eser matematikte yeni bir çığır açmıştır ve Boole da kesin bir üne kavuşmuştu.
Bu broşür, de Morgan’ın da takdirlerini topladı.
Bu eser, bundan altı sene sonra ortaya çıkacak olan bir çalışmanın müjdecisi olacaktı.
1849 senesinde matematik profesörü olan Boole’un 1854 senesinde, mantık ve olasılıklar üzerine büyük bir eseri yayınlandı.
İki-değerli Aristoteles mantığını matematiksel temellere oturtan simgesel mantığı oluşturmuştu.
Buna Boole mantığı, Boole cebiri, matematiksel mantık, simgesel mantık, vb adlar verilmektedir.