Łukasiewicz, Jan
Enciclopedia on line
Studioso di logica (Leopoli 1878 - Dublino 1956). Tra i maggiori esponenti della cosiddetta Scuola logica polacca, svolse importanti ricerche sulla logica aristotelica e stoica. Considerando insoddisfacente [...] ) e di Varsavia (1920), dal 1945 prof. di logica matematica all'univ. di Dublino. Ł. ha svolto ricerche storiche, specie sulla logica antica, giungendo a una netta distinzione tra la logica peripatetica ("logica dei predicati o delle classi" che si ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Erdős, Paul
Enciclopedia on line
Matematico statunitense di origine ungherese (Budapest 1913 - Varsavia 1996). Professore presso l'Accademia ungherese delle scienze tecniche, ha insegnato in varie università europee e degli Stati Uniti. [...] intero, dimostrato in collab. con M. Kac, è alla base della moderna teoria probabilistica dei numeri; con il calcolo delle partizioni nella teoria degli insiemi, E. ha creato un nuovo campo di ricerca intermedio tra questa e la logica matematica. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Cipólla, Michele
Enciclopedia on line
Matematico italiano (Palermo 1880 - ivi 1947). Prof. di analisi matematica nell'univ. di Catania (1911-23), quindi in quella di Palermo. Ha portato notevoli contributi alla teoria dei numeri, alla teoria [...] dei gruppi e dei corpi numerici. Insigne cultore di logica matematica: per evitare il postulato di Zermelo, ideò la teoria delle successioni di insiemi, che fu poi largamente usata dai cultori della teoria delle funzioni di variabile reale. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Zorn, Max
Enciclopedia on line
Matematico statunitense di origine tedesca (n. 1906 - m. Bloomington, Indiana, 1993). Prof. all'Indiana University (dal 1946), ha dato importanti contributi all'algebra, nella teoria degli insiemi e alla [...] topologia; a lui si deve un enunciato di logica matematica (lemma di Z.) equivalente all'assioma delle scelte. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Curry, Haskell Brooks
Enciclopedia on line
Matematico statunitense (Millis, Massachusetts, 1900 - Filadelfia 1982); prof. alla Pennsylvania State Univ. dal 1941. Si è occupato soprattutto di logica matematica. Tra le sue opere: Combinatory logic [...] (1958), Foundations of mathematical logic (1963). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
ALGEBRA
Enciclopedia Italiana - IV Appendice (1978)
Premessa. - Gli sviluppi dell'a. nel quindicennio 1960-75 sono stati assai notevoli, sia dal punto di vista quantitativo sia da quello qualitativo. Prima di esaminare alcuni progressi in direzioni particolari, [...] del polacco J. Łoš che collega questa tecnica algebrica alla costruzione di modelli di una teoria del primo ordine v. logica matematica in questa App. "Uno dei più importanti concetti relativi ad a. universali " (G. Grätzer) è quello di "a. libere ...
Leggi Tutto
NUMERI, Teoria dei
Enciclopedia Italiana - IV Appendice (1979)
NUMERI, Teoria dei
Enrico Bombieri
Gli sviluppi recenti della t. dei n. (v. aritmetica: Aritmetica inferiore o teoria dei numeri, IV, p. 370) hanno condotto alla soluzione di problemi fondamentali e [...] l'equazione diofantea P(x1, ..., x23) = n è risolubile se e solo se n è un numero primo. I metodi di logica matematica impiegati nello studio del problema di Hilbert permettono anche di trasformare l'enunciato di problemi (per es., il problema dei 4 ...
Leggi Tutto
RETICOLO
Enciclopedia Italiana - III Appendice (1961)
RETICOLO (fr. treillis, ingl. lattice, ted. Veroand)
Guido ZAPPA
Il concetto matematico di "reticolo" è stato già introdotto, col nome di "struttura", in App. II, 11, p. 923. Oggi il termine r. si è [...] che appartengono ad almeno uno dei due sottoinsiemi. Altri notevoli esempî di algebre di Boole si hanno nella logica matematica classica (algebra degli attributi, algebra delle classi, algebra delle proposizioni). Per es., se M è l'insieme di ...
Leggi Tutto
TEORIE FORMALIZZATE
Enciclopedia Italiana - IV Appendice (1981)
TEORIE FORMALIZZATE
Aldo Marruccelli
. Una t. deduttiva T è un insieme di enunciati espressi in un determinato linguaggio (ordinario o simbolico) suscettibile di interpretazioni su opportuni insiemi [...] modo definitivo quali sono le limitazioni connesse con la natura stessa delle t. f. (v. logica matematica: Principi di logica matematica; metamatematica; modelli, teoria dei, in questa Appendice).
Bibl.: S. C. Kleene, Introduction to metamathematics ...
Leggi Tutto
COHEN, Paul
Enciclopedia Italiana - IV Appendice (1978)
Matematico e logico-matematico statunitense, nato a Long Branch (New Jersey) il 2 aprile 1934. Ha conseguito il Ph. D. all'università di Chicago nel 1958; è professore di matematica all'università di Stanford [...] e il cosiddetto "metodo del forcing", da lui creato per realizzarne la dimostrazione, sono di straordinaria importanza sia in logica matematica, sia nella teoria degl'insiemi non solo da un punto di vista concettuale, ma anche per le nuove direzioni ...
Leggi Tutto