algebra di Boole
Silvio Bozzi
Introdotte nel 1848 da George Boole come controparte algebrica della logica dei termini e di quella ipotetica, le algebre di Boole trovano una prima formulazione assiomatica [...] di Boole diviene un capitolo importante della teoria generale dei reticoli introdotta negli anni Trenta del secolo scorso da GarrettBirkhoff. Un reticolo è un insieme ordinato 〈I, ≤ > in cui ogni coppia di elementi (e quindi ogni insieme finito ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] per IPC (calcolo proposizionale intuizionista), che si deve a Stanisław Jaśkowski, Marshall H. Stone, Alfred Tarski, GarrettBirkhoff e Toziro Ogasawara negli anni 1936-1940, era una semantica algebrica, con la semantica topologica come importante ...
Leggi Tutto