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 [...] , una diversa versione è stata data da Dana Scott e Robert Solovay per mezzo dei modelli booleani: con un'algebra di Boole completa si definisce una gerarchia analoga alla gerarchia di von Neumann, ma gli insiemi, proprio come nell'idea originaria di ...
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 [...] recente. Possiamo collocare la sua data di nascita al massimo 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 ...
Leggi Tutto
GEOMETRIA ALGEBRICA
Ciro Ciliberto
Igor R. Shafarevich
Lo sviluppo delle idee di Ciro Ciliberto
Sommario: 1. I temi classici della geometria algebrica. a) Integrali abeliani e curve algebriche. b) [...] nelle pionieristiche ricerche del matematico inglese G. Boole che studia varie proprietà dei discriminanti di concetti riguardanti la teoria degli invarianti che, dopo gli inizi dettati da Boole, si andava in quegli anni sviluppando a opera di J. J ...
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 [...] nel linguaggio di tali strutture, stabilisce in un tempo finito se la formula è vera in tutte le algebre di Boole.
Il teorema di Ionescu Tulcea. In una breve nota pubblicata nei "Rendiconti dell'Accademia dei Lincei" il matematico rumeno Cassius ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] l'esistenza cioè di un nome vacuo) ma non un oggetto, pensò alla relazione di ingredienza come a un'algebra di Boole completa bensì priva dell'elemento minimo. La presentazione formale di questa idea richiese un lungo lavorio. Il rigore maniacale con ...
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 [...] . In un anello qualunque inoltre non è sempre possibile ‘semplificare a’ in un’uguaglianza del tipo ax=ay. Per es., in un anello di Boole si ha sempre x2−x=x(x−1)=0 e quindi il prodotto di due elementi non nulli può essere uguale a zero. Consideriamo ...
Leggi Tutto
OPERATIVA, RICERCA (App. III, 11, p. 315)
Aldo Ruscitti
Gli sviluppi recenti della r. o. possono, ai fini di una loro sintetica comprensione (e sia pure correndo il rischio di semplificazioni arbitrarie) [...] valori solo nell'ambito dei numeri interi), e la connessa "programmazione booleiana" (dal nome del logico inglese G. Boole), ove le variabili assumono i soli valori 0 e 1; la "programmazione multiobiettiva", in cui si debbono ottimizzare (cioè ...
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 [...] , algebrica, aritmetica, insiemistica (J. D. Gergonne, K. F. Gauss, J. Bolyai, N. I. Lobačevskij, B. Riemann, G. Boole, A. De Morgan, E. Schröder, Peano, Zermelo, ecc.), insieme con la prospettiva assiomatica meta-teorica, suggerita dalla distinzione ...
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ù [...] EC delle classi elementari è chiusa rispetto a complemento, intersezione e riunioni finite e costituisce un'algebra di Boole. Di fatto, EC coinciderà con l'algebra dei clopen (insiemi simultaneamente aperti e chiusi) dello spazio topologico EC ...
Leggi Tutto
INTEGRAZIONE E MISURA
Giorgio Letta
. La moderna teoria dell'i. si occupa del concetto generale di "misura" e del concetto di "integrale" relativo a un'arbitraria misura. Essa costituisce una notevole [...] .
11. Sviluppi e applicazioni. - Tra i vari sviluppi della teoria, ci limiteremo a citare: le m. in algebre di Boole (o in altre strutture algebriche), le m. vettoriali, l'integrazione delle funzioni vettoriali, le capacità, le m. di Hausdorff ...
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...
Bowle
‹bóolë› s. f., ted. [voce di origine ingl., cfr. sved. bål]. – Bevanda alcolica in uso nei paesi germanici, costituita da una miscela zuccherata di varî vini bianchi (Reno, Mosella, Champagne) nella quale si lasciano in infusione per...