La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia

Storia della Scienza (2004)

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 [...] oggetto, pensò alla relazione di ingredienza come a un'algebra di Boole completa bensì priva dell'elemento minimo. La presentazione di quelle strutture, in un capitolo della teoria degli insiemi. La presentazione compiuta di queste sue idee, dapprima ... Leggi Tutto

CATEGORIA: STORIA DELLA MATEMATICA

CIPOLLA, Michele

Dizionario Biografico degli Italiani (1981)

CIPOLLA, Michele Francesco Saverio Rossi Nato a Palenno il 28 ott. 1880 da Luigi e da Rosaria Moncada, dopo aver seguito con onore, gli studi medi superiori nel liceo della sua città, iniziò quelli [...] un'epoga nella quale erano in piena fioritura gli studi di geometria algebrica instaurati nel secolo scorso da L. Cremona, E. Bertini, C '900 non passò senza effetto sul Cipolla. La teoria degli insiemi con le antinomie che si erano venute a creare, ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: SCUOLA NORMALE SUPERIORE DI PISA – CALCOLO INFINITESIMALE – ACCADEMIA DEI LINCEI – TEORIA DEGLI INSIEMI – GEOMETRIA ALGEBRICA

insieme

Dizionario delle Scienze Fisiche (1996)

insieme insième [Der. del lat. insemel, forma corrotta di insimul, comp. di in- e simul "insieme"] [ALG] Secondo la definizione di G. Cantor, ogni raccolta (aggregato, famiglia) di enti distinti, detti [...] v. insieme statistico: III 219 c. ◆ I. stocasticamente equivalenti: v. processi stocastici: IV 606 f. ◆ I. termodinamici: v. limite centrale, teoremi del: III 414 b. ◆ I. vuoto: un i. senza elementi (v. sopra). ◆ Algebra degli i.: sistema algebrico i ... Leggi Tutto

CATEGORIA: ALGEBRA

continuita

Dizionario delle Scienze Fisiche (1996)

continuita continuità [Der. di continuo "l'essere continuo", nei vari signif. di questo termine] [LSF] Sulla base delle teorie quantistiche, per le quali i corpi sono sostanzialmente discontinui, la [...] [ALG] C. sulle successioni crescenti (e decrescenti): per un'algebra L su un insieme e un'applicazione μ di L in [0,+∞], proprietà di μ di rete. ◆ [ALG] Postulato di c.: nella teoria degli insiemi (e in partic. nelle sue applicazioni alla geometria e ... Leggi Tutto

CATEGORIA: ASTROFISICA E FISICA SPAZIALE – ELETTROLOGIA – FISICA DEI SOLIDI – FISICA MATEMATICA – FISICA TECNICA – METROLOGIA – TEMI GENERALI – ALGEBRA – ANALISI MATEMATICA – STATISTICA E CALCOLO DELLE PROBABILITA

misura di Wiener

Enciclopedia della Scienza e della Tecnica (2008)

misura di Wiener Luca Tomassini Una misura di probabilità sullo spazio C([0,1],ℝ) delle funzioni continue a valori reali sull’intervallo chiuso [0,1] definita come segue. Siano 0⟨t1⟨...⟨tν≤1 punti arbitrari [...] 1/√__2πt e−χ2/2τ. La misura può essere poi estesa alla σ-algebra dei sottoinsiemi boreliani di C([0,1],ℝ) generata dai C(t1,...,tν; nel suo moto, agli istanti t1,...,tν la particella stessa si trovi all’interno degli insiemi A1,...,Aν. → Probabilità ... Leggi Tutto

CATEGORIA: ANALISI MATEMATICA – STATISTICA E CALCOLO DELLE PROBABILITA

TAGS: TEORIA DELL’INTEGRAZIONE – DENSITÀ DI PROBABILITÀ – MISURA DI LEBESGUE – FUNZIONALE LINEARE – FUNZIONI CONTINUE

struttura

Enciclopedia on line

In senso ampio, la costituzione e la distribuzione degli elementi che, in rapporto di correlazione e d’interdipendenza funzionale, formano un complesso organico o una sua parte; è così chiamato anche il [...] la relazione di maggiore ha una s. d’ordine. Lo studio delle s. d’ordine è lo studio degli insiemi ordinati. Un insieme è dotato di s. algebrica se in esso sono opportunamente definite operazioni (funzioni a una o più variabili) che legano tra loro i ... Leggi Tutto

CATEGORIA: GRAMMATICA – TEMI GENERALI – BIOINGEGNERIA – ANATOMIA MORFOLOGIA CITOLOGIA – ECOLOGIA VEGETALE E FITOGEOGRAFIA – FISICA MATEMATICA – GEOMORFOLOGIA – METODI TEORIE E PROVVEDIMENTI – SOCIOLOGIA – AGRONOMIA E TECNICHE AGRARIE – EDILIZIA

TAGS: TEORIA DELLA SIMILITUDINE – SCIENZA DELLE COSTRUZIONI – VARIABILI STOCASTICHE – GRAMMATICA GENERATIVA – MICROSCOPIO OTTICO

Novikov, Pëtr Sergeevič

Enciclopedia on line

Matematico russo (Mosca 1901 - ivi 1975). Il suo nome è legato a ricerche di algebra, di teoria della misura, di teoria degli insiemi, di logica matematica, di teoria degli algoritmi, di matematica intuizionista [...] che non sempre esiste un algoritmo che riduca una data successione di elementi di un gruppo all'elemento unitario. Insieme con il suo allievo S. I. Adjan risolse negativamente il problema di W. Burnside sui gruppi periodici. Membro effettivo ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: TEORIA DEGLI INSIEMI – TEORIA DELLA MISURA – ANALISI MATEMATICA – LOGICA MATEMATICA – ALGORITMO

Tarski, Alfred

Enciclopedia on line

Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] formali, precisando i concetti di verità e di conseguenza logica e delimitandone il valore assoluto. Si occupò anche di teoria degli insiemi, topologia, algebra, geometria e di varie questioni di logica formale. Vita e pensiero Prof. di teoria ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: TEORIA DEGLI INSIEMI – LOGICA MATEMATICA – LINGUAGGI FORMALI – METAMATEMATICA – SAN FRANCISCO

Informatica teorica

Enciclopedia della Scienza e della Tecnica (2007)

Informatica teorica Giorgio Ausiello Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] in due insiemi, in modo da minimizzare la differenza di valore degli insiemi stessi, oppure di programmazione ‒ come ML ‒ sono stati aggiunti meccanismi di tipo algebrico per la specifica di tipi di dati e programmi. Semantica di processi ... Leggi Tutto

CATEGORIA: MATEMATICA APPLICATA – PROGRAMMAZIONE E PROGRAMMI

TAGS: PRINCIPIO DI INDETERMINAZIONE DI HEISENBERG – INSIEMI PARZIALMENTE ORDINATI – LINGUAGGI DI PROGRAMMAZIONE – RETI DI TELECOMUNICAZIONI – CALCOLATORI ELETTRONICI

La logica e i fondamenti della matematica tra Ottocento e Novecento

Il Contributo italiano alla storia del Pensiero: Scienze (2013)

La logica e i fondamenti della matematica tra Ottocento e Novecento Mario Piazza I fondamenti della geometria Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] -Forti (aritmetica e teoria delle grandezze), Bettazzi (limiti), Fano (teoria dei numeri algebrici), Francesco Giudice (serie), Vivanti (teoria degli insiemi), Giuliano Pagliero e Tommaso Boggio (calcolo vettoriale). Beniamino Segre (Peano ed il ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA – STORIA DELLA MATEMATICA