Matemático inglês, Considerado o pai da lógica moderna. Suas teorias têm implicações no desenvolvimento do computador, baseado em dígitos binários. Em 1847, no artigo Análise Matemática da Lógica, introduz o uso de símbolos para expressar processos lógicos que podem então ser lidos com o mesmo rigor de uma equação algébrica. Com isso, dá origem à lógica moderna.
Nenhum comentário:
Postar um comentário