Avanzó en la tarea de corroborar verdades matemáticas sobre principios lógicos generales, y también propuso usar un sistema numérico binario, es decir, binario, para los propósitos de las matemáticas computacionales.