George Boole (1815-1864) foi um matemático e filósofo britânico que criou a Álgebra Booleana, base da lógica computacional moderna. Ele aprendeu matemática sozinho desde cedo e publicou trabalhos influentes sobre cálculo de variações, invariantes e análise matemática da lógica. Foi um pioneiro na aplicação da matemática à lógica.