DE GIORGI, Ennio
Enrico Moriconi
Nacque l’8 febbraio del 1928 a Lecce figlio di Nicola e di Stefania Scopinich.
La madre proveniva da una famiglia di navigatori di Lussino, mentre il padre era insegnante [...] e la determinazione di assiomi di antifondazione che sono ora considerati i più appropriati per le applicazioni della teoriadegliinsiemi alla semantica e all’informatica (cfr. BUMI, p. 20). Dal 1984, De Giorgi e la sua ‘scuola fondazionale ...
Leggi Tutto
BURALI FORTI, Cesare
Evandro Agazzi
Nacque ad Arezzo il 13 ag. 1861 da Cosimo e da Isoletta Guiducci. Dopo aver compiuto gli studi medi nel collegio militare di Firenze, s'iscrisse nel dicembre 1879 [...] in una serie di articoli sui Mathematische Annalen, fra il 1879 e il 1884, le idee fondamentali della sua "teoriadegliinsiemi"; ben pochi, tuttavia, sanno apprezzare il valore di questa genialissima novità e i più, anzi, la osteggiano, al punto ...
Leggi Tutto
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 [...] sui fondamenti della matematica che si determinò fra l'800 e il '900 non passò senza effetto sul Cipolla. La teoriadegliinsiemi con le antinomie che si erano venute a creare, era stata esaminata già accuratamente dalla scuola italiana del Peano e ...
Leggi Tutto
Matematico statunitense di origine polacca (Leopoli 1909 - Santa Fe, Nuovo Messico, 1984), prof. alla Harvard University e nelle univ. del Wisconsin e del Colorado. Insieme con J. L. von Neumann ideò il [...] contribuì alle ricerche che portarono alla costruzione della prima bomba all'idrogeno. Si occupò anche dei fondamenti della teoriadegliinsiemi, di varie questioni di topologia generale e di proprietà relative ai ricoprimenti di una sfera. Tra le ...
Leggi Tutto
Filosofo statunitense (Cambridge, Massachusetts, 1839 - Milford, Pennsylvania, 1914). Nella sua opera più nota, l'articolo How to make our ideas clear, pubblicato nel Popular Science Monthly del gennaio [...] misura standard. Si occupò anche di matematica, in special modo dei problemi dei fondamenti, di algebra lineare, di teoriadegliinsiemi, di aritmetica transfinita e di topologia. I suoi scritti filosofici trattano di una grande varietà di temi e di ...
Leggi Tutto
Matematico ungherese naturalizzato statunitense (Budapest 1903 - Washington 1957). I suoi contributi hanno caratterizzato numerosi aspetti del pensiero matematico e scientifico del 20° sec. e spesso le [...] study della stessa città. Socio straniero dei Lincei (1956).
Opere
Ha sviluppato un'originale assiomatizzazione della teoriadegliinsiemi, alla quale si sono ispirati P. Bernays, R. M. Robinson e K. Gödel. Queste assiomatizzazioni distinguono ...
Leggi Tutto
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 [...] e delimitandone il valore assoluto. Si occupò anche di teoriadegliinsiemi, topologia, algebra, geometria e di varie questioni di logica formale.
Vita e pensiero
Prof. di teoriadegliinsiemi all'univ. di Varsavia, ha insegnato nella univ. di ...
Leggi Tutto
Matematico russo (Mosca 1901 - ivi 1975). Il suo nome è legato a ricerche di algebra, di teoria della misura, di teoriadegliinsiemi, di logica matematica, di teoriadegli 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
Matematico statunitense (New York 1920 - Santa Monica 1984). Laureatosi al Brooklyn College nel 1941, ha conseguito il PhD in matematica alla Princeton University nel 1946. Professore alla University of [...] operativa, sviluppando il settore della programmazione dinamica. Il suo nome è inoltre legato alla fondazione della teoriadegliinsiemi fuzzy, che trovano impiego nell'intelligenza artificiale.Tra le opere: Dynamic programming and modern control (in ...
Leggi Tutto
Matematico, epistemologo e uomo politico francese (Saint-Affrique, Aveyron, 1871 - Parigi 1956). Prof. alla facoltà di scienze di Parigi, direttore scientifico di quella Scuola normale superiore, membro [...] importanti e vedute suggestive in campi svariati dell'analisi matematica: serie divergenti, teoriadegliinsiemi (misurabilità di un insieme, ecc.), teoria delle funzioni di variabile reale, delle funzioni analitiche uniformi, ecc. Fondatore di ...
Leggi Tutto
insieme
insième (ant. insème) avv. e s. m. [lat. ĭnsĕmul, rifatto nel lat. volg. in *insĕmel per sostituzione di semel «una volta» a simul «insieme»]. – 1. avv. Esprime in genere i seguenti rapporti: a. Compagnia, unione: siamo usciti i. io...
teoria
teorìa s. f. [dal gr. ϑεωρία, der. di ϑεωρός (v. teoro), e quindi, in origine, «delegazione di teori»; nel sign. 1, attraverso il lat. tardo theorĭa]. – 1. Formulazione logicamente coerente (in termini di concetti ed enti più o meno...