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.