lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] alla metà dell’Ottocento, con i lavori di George Boole sull’analisi algebrica della sillogistica tradizionale (1847) e la costruzione da parte di Gottlob Frege di un linguaggio formale in grado di riprodurre e analizzare la struttura logica del ...
Leggi Tutto
Probabilità
Gian-Carlo Rota e Joseph P.S. Kung
*La voce enciclopedica Probabilità è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un contributo di Marco Li Calzi.
sommario: 1. Introduzione. [...] . Questo reticolo sembra poter sostenere un ruolo complementare a quello del reticolo - o σ-algebradiBoole - degli eventi. È questo un campo di ricerche che deve essere ulteriormente approfondito. Il valore numerico naturale associato a un evento è ...
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
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] classi elementari è chiusa rispetto a complemento, intersezione e riunioni finite e costituisce un'algebradiBoole. Di fatto, EC coinciderà con l'algebra dei clopen (insiemi simultaneamente aperti e chiusi) dello spazio topologico EC+ i cui chiusi ...
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
anello
Luca Tomassini
La nozione di anello esprime in forma astratta le analogie presenti, per es., tra la manipolazione dei numeri interi relativi e quella dei polinomi. Il suo studio è stato decisivo [...] Per es., in un anello diBoole si ha sempre x2−x=x(x−1)=0 e quindi il prodotto di due elementi non nulli può :A→B da A a B. Si dice che f è un omomorfismo di anelli se rispetta la struttura di anello (o algebra), ovvero f(x+y)=f(x)+ f(y) e f(xy)=f( ...
Leggi Tutto
proiettore
proiettóre [Der. del part. pass. proiectus del lat. proicere "gettare innanzi"] [LSF] Che proietta, che lancia, anche in signif. figurati. ◆ [ALG] Dato un insieme X, è un endomorfismo P sull'insieme [...] dei casi, può essere un'algebradiBoole, un reticolo, ecc. I p. hanno notevole interesse nella rappresentazione di operatori lineari, per es. in spazi di Banach e di Hilbert, dove intervengono nella costruzione di un elemento dello spazio attraverso ...
Leggi Tutto
METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] geometrica, algebrica, aritmetica, insiemistica (J. D. Gergonne, K. F. Gauss, J. Bolyai, N. I. Lobačevskij, B. Riemann, G. Boole, A l'espressione ¬ A. Per far ciò, in base alla legge di Duns Scoto, basterà far vedere che c'è una formula esprimibile ...
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,...