Logica Funzionale a 3 Valori 1/e 2015

Presentazione e ringraziamenti

« Verrà usato molto spesso l’aggettivo booleano e si parlerà di algebre di Boole in onore
del matematico George Boole — nato nel 1815 a Lincoln (Inghilterra orientale), morto
nel 1864 a Cork (Irlanda meridionale) — precocissimo nell’apprendimento delle lingue,
sia antiche sia contemporanee

Fu insegnante a Lincoln fino al 1849, nel 1847 pubblicò l’opera A Mathematical
Analysis of Logic e nel 1849, diventato Professore presso il Queen’s College di Cork, la
riscrisse e ampliò con il titolo An Investigation of the Laws of Thought, pubblicandola
nel 1854. Altre sue importanti opere sono: Treatise on Differential Equations ( 1859 ) e
Treatise on the Calculus of Finite Differences ( 1860 )

Nel 1938 Claude Shannon scoprì che l’algebra di Boole è la struttura teorica più appropriata
per descrivere e progettare i circuiti che applicano la logica binaria: per questo
motivo, George Boole viene considerato uno dei padri della logica simbolica e della
computer science

Al matematico Augustus De Morgan è dedicata la denominazione di fondamentali identità
delle proposizioni note come leggi di De Morgan, da lui scoperte e pubblicate nelle
Transactions of the Cambridge Philosophical Society nel 1858

Nato nel 1806 a Madura ( India meridionale ), morto a Londra nel 1871, Augustus De
Morgan fu Professore presso l’Università di Londra ( dal 1828 ) e fu il primo Presidente
della London Mathematical Society dal 1865 al 1866. Fondamentale la sua opera
Formal Logic or the Calculus of Inference ( 1847 ). Importante è anche The
Differential and Integral Calculus ( 1842 )

Un immenso riconoscimento a Rasmus Lerdorf — ideatore e realizzatore del linguaggio
PHP — con tutti coloro che hanno portato il PHP ad essere un linguaggio a Oggetti
estremamente ricco e agevole, soprattutto per l’intuito con cui è stato impostato l’argomento
degli Array e per la straordinaria versatilità del simbolo :: , l’operatore di scope
resolution ( anche Paamayim Nekudotayim )

Milano, 20/05/2013 Carlo Bartolomeo