Morgan Augustus De
ELEMENTS DE BIOGRAPHIE
FONDEMENTS DES MATHEMATIQUES
Augustus De Morgan, mathématicien et logicien britannique (1806-1871).
Né en 1806 en Inde où son père était officier dans l’armée, Augustus De Morgan rentra très jeune en Angleterre où il fit des études dans différentes villes. Bien que n’ayant pas de publications scientifiques, il enseigna les mathématiques dans une université londonienne.
En 1838 il introduit le terme d’ »induction mathématique » (raisonnement par récurrence ), clarifiant un raisonnement utilisé jusque là mais de façon peu rigoureuse.
En 1849, dans Trigonometry and double algebra, il donne une interprétation géométrique des nombres complexes.
Il est un des initiateurs de la logique formelle et de l’algèbre symbolique, ses travaux seront repris et améliorés par Boole , Frege et Peirce .
On lui doit les lois de Morgan, utilisées notamment en logique sous la forme :
non (Pet Q) = (non P) ou (non Q)
non (P ou Q) = (non P) et (non Q)
De Morgan a publié un très grand nombre d’articles et sa correspondance avec plusieurs mathématiciens (Babbage , Hamilton ) est très volumineuse.