Matemático italiano del siglo xix, fundador de la lógica simbólica. Sus principales aportaciones fueron el desarrollo de un lenguaje lógico y el estudio del cálculo geométrico.