Auguste De Morgan

Le mathématicien britannique Auguste De Morgan est né le 27 juin 1806.
Fondateur avec Boole de la logique moderne, il a notamment formulé les lois de De Morgan:
- La négation de la conjonction de deux propositions est équivalente à la disjonction des négations des deux propositions, ce qui signifie non(A et B) est (non A) ou (non B).
- La négation de la disjonction de deux propositions est équivalente à la conjonction des négations des deux propositions, ce qui signifie que non(A ou B) est (non A) et (non B).
ou pour être plus concis et peut être plus clair :


Citations :

- Le moteur de l'invention mathématique n'est pas le raisonnement 
mais l'imagination.
- Quand on lui demandait son âge, il répondait : 
j'avais x ans en l'an x².
- Imaginez une personne qui n'a pas peur du ridicule. Elle
pourrait vous dire : premièrement, un nombre négatif n'a pas
de logarithme; deuxièmement, un nombre négatif n'a pas de racine
carrée; troisièmement, le rapport entre ces deux nombres qui
n'existent pas est égal au rapport entre la circonférence et le
diamètre d'un cercle.