27 giugno: "compleanno" di Augustus de Morgan (1806-1871), matematico e logico britannico. A lui si devono i teoremi di De Morgan, che sono alla base dei sistemi logici elettronici ed informatici. Per primo introdusse il termine induzione matematica e ne rese rigoroso il concetto. Infine formalizzò per primo l'algebra relazionale.
Nessun commento:
Posta un commento