George Boole
George Boole, İngiliz mantıkçısı ve matematikçisi (Lincoln 1815-Cork yakını 1864). Öğretmenlik yapan George Boole, bu arada İtalyanca, Almanca, Fransızca öğrenerek Lincoln'da özel bir okul açtı ve matematik dersleri verdi. Cork'ta, Queens College'ta 1849'dan başlavarak matematik profesörlüğü yaptı.
Çalışmalarının çıkış noktası değişmez nicelikler üstüne cebir uygulamaları olan Boole'un kuramsal çalışmaları, cebirsel yöntemlerin mantıkta kullanılmasına olanak sağlamış, ama çağını aşmışlığı, çalışmalarının gerçek değerini sonradan ortaya koyan North Whitehead ve Bertrand Russel'a kadar unutulmasına yol açmıştır. Matematik düşüncelerden yola çıkan ve simgeci yöntemi kapsayan genel ilkelere varan Boole, çağdaş matematiğin temelini oluşturmuştur. Ayrıca, elektronik hesap makineleri üstüne önemli çalışmaları vardır.
Başlıca yapıtları: Researches in the Theory of Analytical Transformations (Analitik Dönüşümler Kuramı Üstüne Araştırmalar, 1839), simgesel mantığın temelini oluşturan Mathematical Analysis of Logic (Mantığın Matematiksel Çözümlenmesi, 1847), An İnvestigation of the Laws of Thought (Düşünce Yasaları Üstüne Bir Araştırma, 1854), Treatise on Differential Equations (Diferansiyel Denklemler Üstüne İnceleme, 1859), Treatise on the Calculus of Finite Differences (Sonlu Farklar Hesabı Üstüne İnceleme, 1860).