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
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ò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
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] umane, incluso il pensiero (v. automa, V, p. 554). Un ampio ventaglio di ricerche nell'ambito della logica matematica (dall'algebradi G. Boole al concetto teorico di algoritmo di A. Turing, alle idee sull'architettura delle macchine calcolatrici ...
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
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
logica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio e della conoscenza» in un ambiente protostoico, pur conservando λογικός per tutta la grecità il [...] ; Upon the logic of mathematics, 1867; On the algebra of logic, 1880); alla teoria della quantificazione, che amplia l’originaria algebradiBoole interpretabile come algebradi classi oppure di proposizioni, a una teoria molto più generale, in cui ...
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
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,...