La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] (1902-1983), in The algebra of topology (1944), posero le basi di un nuovo calcolo algebrico. Il concetto centrale era quello dialgebradi chiusura, un tipo di struttura che si ottiene aggiungendo a un'algebradiBoole un nuovo operatore unario C ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] riesce a costruire CW-complessi con preassegnati gruppi di omotopia.
Decidibilità della teoria delle algebrediBoole. Il logico polacco Alfred Tarski dimostra che la teoria delle algebrediBoole è decidibile; cioè, esiste un algoritmo che, data ...
Leggi Tutto
L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logica
Logica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] e 'a(+b)=a'.
Qualche anno dopo la pubblicazione della Pure logic di Jevons, Charles S. Peirce (1839-1914) proponeva in un saggio sull'algebradiBoole (On an improvement in Boole's calculus of logic, 1867) l'adozione della somma logica non esclusiva ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] dell'assunzione come nuovo assioma dell'esistenza di un filtro generico, rispetto a un continuo di insiemi densi, per ogni algebradiBoole con la condizione della catena numerabile. Tale assioma, detto di Martin ‒ dal nome di Donald A. Martin ‒ si è ...
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,...