Archivio Giornaliero: Gennaio 22, 2020

La formalizzazione della logica Ada Lovelace e George Boole sono nati nello stesso anno ad un mese di distanza. Non è certo se ebbero modo di incontrarsi, ma è bello pensare che in queste ipotetiche occasioni abbiano possano anche avere discusso dei principi dell’algebra booleana. Detto in modo molto semplificato, Boole matematizzò la logica classica secondo i principi dell’algebra. Questa...