Augustus De Morgan

De Viquipèdia
Dreceres ràpides: navegació, cerca
Augustus De Morgan.

Augustus De Morgan (Madurai, Raj Britànic, ara l'Índia, 27 de juny de 1806 - Londres, 18 de març de 1871) va ser un matemàtic i lògic britànic nascut a l'Índia. Professor de matemàtiques al Col·legi Universitari de Londres entre 1828 i 1866; primer president de la Societat de Matemàtiques de Londres. De Morgan s'interessà especialment per l'àlgebra. Va ser tutor d'Ada Lovelace. Va escriure diverses obres de lògica en les que es troba la idea d'aplicar en aquest camp els mètodes matemàtics, així com els primers resultats de la seva aplicació. En la lògica matemàtica moderna, porten el nom de De Morgan les següents lleis fonamentals de l'àlgebra de la lògica: «la negació de la conjunció és equivalent a la disjunció de les negacions»; «la negació de la disjunció és equivalent a la conjunció de les negacions».

Autor de les Lleis de De Morgan:

\lnot(A \land B) \leftrightarrow (\lnot A) \lor (\lnot B)

\lnot(A \lor B) \leftrightarrow (\lnot A) \land (\lnot B)

La seva obra principal es titula "La lògica formal o el càlcul d'inferències necessàries i probables" (1847).