Hilbert, David
Enciclopedia on line
{{{1}}}
Matematico tedesco (Königsberg 1862 - Gottinga 1943). È la figura più notevole della matematica della prima metà del Novecento e forse dell'intero secolo. A Königsberg frequentò l'università con [...] attribuire loro alcun significato intuitivo ma solo quello che emerge dai collegamenti reciproci espressi negli assiomi. Privi di contenuto intuitivo gli assiomi non sono più "veri": devono solo essere non contraddittorî e allora si applicheranno a ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Mendelson, Elliott
Enciclopedia on line
Logico e matematico statunitense (n. New York 1931 - m. 2020), dal 1961 prof. al Queens college Flush ing di New York. I suoi risultati più importanti riguardano prove d'indipendenza relativa degli assiomi [...] della teoria degl'insiemi. Tra i suoi lavori: Introduction to mathematic al logic (1964; trad. it. 1972), Boolean algebra and switching circuits (1970; trad. it. 1975), Beginning calculus (1985). Recentemente ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Cohen, Paul
Enciclopedia on line
Matematico e logico matematico statunitense (Long Branch, New Jersey, 1934 - Stanford 2007), professore di matematica a Stanford dal 1964. Il suo più importante risultato (teorema di C., 1963) è la dimostrazione [...] dell'indipendenza degli assiomi della teoria degli insiemi dall'ipotesi cantoriana del continuo ("non esistono cardinalità intermedie tra quella del numerabile e quella del continuo"); questa dimostrazione è stata realizzata col "metodo del forcing" ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Skolem, Thoralf
Enciclopedia on line
Logico e matematico (Sandsvär 1887 - Oslo 1963). Prof. a Bergen e a Oslo. Ha dato un contributo determinante alla costruzione della teoria assiomatica degli insiemi; ha dimostrato per primo che nessun [...] insieme finito o numerabile di assiomi esprimibile nella logica elementare è capace di definire la teoria dei numeri in modo da caratterizzarla completamente. Tra le opere: Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre (1923); Ein ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Pàdoa, Alessandro
Enciclopedia on line
Matematico (Venezia 1868 - Genova 1937), docente nell'univ. di Genova. Allievo di G. Peano, fu uno dei suoi più stretti collaboratori per quel che concerne lo studio dei fondamenti dell'aritmetica e l'istituzione [...] di una rigorosa logica simbolica. P. dimostrò, tra l'altro, l'indipendenza degli "assiomi di Peano" e propose l'importante metodo o principio di P.; eseguì la riduzione delle idee primitive della logica a tre nozioni fondamentali (di "uguaglianza", ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Wightman, Arthur Strong
Enciclopedia on line
Fisico matematico statunitense (Rochester, New York, 1922 - Princeton 2013). Laureatosi presso la Yale University (1942), nel 1949 ha conseguito il PhD presso la Princeton University. Prof. di fisica matematica [...] Princeton University. Ha dato contributi fondamentali alla teoria quantistica dei campi. In particolare ha proposto un insieme di assiomi, da lui detti di W., che devono essere soddisfatti dalle funzioni di correlazione di sistemi quantistici. Tali ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Harsányi, John Charles
Enciclopedia on line
Economista e filosofo ungherese naturalizzato statunitense (Budapest 1929 - ivi 2000). Vincitore del premio Nobel nel 1994 (con J. Nash e R. Selten) per la sua "analisi pionieristica degli equilibri nella [...] ricevuto una soddisfacente soluzione analitica. Il maggior contributo di H. in questo campo è consistito nell'introdurre particolari assiomi di razionalità, noti come postulati bayesiani (dal matematico T. Bayes, 1702-1761), in modo da rendere il ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Helmholtz, Hermann L.F. von
Enciclopedia dei ragazzi (2005)
Helmholtz, Hermann L.F. von
Giuditta Parolini
Un medico appassionato di fisica e matematica
Hermann von Helmholtz, prussiano, è stato uno degli ultimi grandi esempi di scienziato 'enciclopedico' dell'Ottocento: [...] e matematica, studiando in particolare il principio di conservazione dell'energia, il moto dei fluidi, l'elettromagnetismo, gli assiomi della geometria, la percezione dei suoni e dei colori, e cercando di spiegare il funzionamento del corpo umano per ...
Leggi Tutto
Lorenzen, Paul Peter Wilhelm
Enciclopedia on line
Logico e matematico tedesco (Kiel 1915 - Gottinga 1994), prof. di filosofia all'univ. di Kiel (dal 1956; dal 1980 prof. emerito). Creò la logica operativa, che rappresenta una posizione intermedia fra [...] logico, cioè sul suo "operare con simboli", e in questo modo è costruttiva e assiomatica. Nei calcoli logici considera "ammissibili" nuovi assiomi o regole se ogni loro applicazione può essere sostituita mediante altri passaggi in cui sono usati solo ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE