algebradiBoole
Silvio Bozzi
Introdotte nel 1848 da George Boole come controparte algebrica della logica dei termini e di quella ipotetica, le algebrediBoole trovano una prima formulazione assiomatica [...] che ha dato l’inizio allo studio sistematico delle algebrediBoole è il teorema dimostrato da Marshall Stone nel 1936 per cui ogni algebradiBoole è isomorfa ;all’algebra dei clopen di uno spazio compatto totalmente sconnesso. Nel 1947 Lynn Loomis ...
Leggi Tutto
tautologia
Silvio Bozzi
Termine che definisce ogni formula di un linguaggio preposizionale che sia logicamente valida, vale a dire vera in ogni interpretazione delle costanti extralogiche (le costanti [...] . Possiamo così provare che le tautologie della logica classica coincidono con le tautologie le cui matrici hanno come algebre le algebrediBoole e il valore designato è 1, mentre tautologie intuizioniste saranno le tautologie rispetto a matrici su ...
Leggi Tutto
. Assumendo la parola "epistemologia" nel senso di "riflessione critica generale intorno alla conoscenza scientifica", il presente tentativo di sintesi problematica delle acquisizioni epistemologiche post-ottocentesche [...] i fondamenti e la struttura, nonché ad arricchire l'intera matematica di nuove branche (le geometrie non euclidee, le algebredi W. R. Hamilton, H. Grassmann, G. Boole, ecc.), è risultato possibile (e per determinati scopi necessario) operare ...
Leggi Tutto
booleano
‹bul-› agg. [dal nome del matematico ingl. G. Boole (1815-1864)]. – Algebra b., particolare tipo di struttura algebrica nella quale possono esprimersi relazioni logiche in modo analogo a quello in cui nell’algebra convenzionale si...
calcolo1
càlcolo1 s. m. [dal lat. calcŭlus, propr. «pietruzza» (cfr. càlcolo2), attrav. il sign. di «gettone per fare i conti»]. – 1. a. Successione più o meno lunga di operazioni atte a fornire la soluzione di un dato problema aritmetico,...