La seconda rivoluzione scientifica: matematica e logica. Problemi di analisi complessa alla fine dell'Ottocento
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Problemi di analisi complessa alla fine dell'Ottocento
Jeremy Gray
Problemi di analisi complessa alla fine dell'Ottocento
La teoria generale [...] Birkhoff (1884-1944), al quale fu fatto notare da Otto Toeplitz che aveva di fatto risolto il problema di Riemann-Hilbert. La soluzione rimase invariata fino al 1989 quando due matematici russi, Dmitrij Anosov e Andrej Bolibruch, annunciarono che in ...
Leggi Tutto
Jones, Vaughan Frederick Randal
Enciclopedia on line
Jones, Vaughan Frederick Randal. – Matematico neozelandese (Gisborne 1952 - Nashville 2020). Docente all’Università della California a Los Angeles (1980-81), all’Università della Pennsylvania (1981-84), [...] , i suoi studi si sono concentrati su particolari tipi di algebre di operatori lineari definiti in uno spazio di Hilbert, dette algebre di von Neumann. Sostanziali i suoi contributi alla teoria dei nodi: la scoperta di un polinomio invariante ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Millennium Problems
Enciclopedia on line
Selezione di 7 problemi matematici proposti nel 2000 dal Clay Mathematics Institute (CMI) di Cambridge, Massachusetts, che ha stanziato per la risoluzione di ognuno di essi un premio di 1 milione di dollari. [...] che hanno resistito ai tentativi di soluzione nel corso degli anni e dovrebbero servire da guida per i matematici, così come fecero i problemi proposti da D. Hilbert nel 1900. Tra i 7 problemi solo l’ipotesi di Riemann si trovava tra i 23 problemi di ...
Leggi Tutto
sintassi
Enciclopedia della Scienza e della Tecnica (2008)
sintassi
Silvio Bozzi
Studio delle proprietà di linguaggi e teorie formalizzate visti, nella logica semantica, come sistemi per la costruzione, la classificazione e le trasformazioni di stringhe (o [...] la sintassi si contrappone alla semantica e nasce negli anni Venti del secolo scorso coi tentativi di Emil L. Post e David Hilbert – ripresi in altra prospettiva da Rudolf Carnap nel 1934 con la sua Logische Syntax der Sprache – di fondare un’analisi ...
Leggi Tutto
CATEGORIA:
LOGICA
logica
Enciclopedia on line
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] per il sistema formale corrispondente all’aritmetica dei numeri naturali. K. Gödel dimostrò nel 1931 che il programma di Hilbert è destinato a fallimento, se i metodi finitisti dell’aritmetica sono tutti formalizzabili all’interno del sistema formale ...
Leggi Tutto
semidefinito
Dizionario delle Scienze Fisiche (1996)
semidefinito
semidefinito [Comp. di semi- e definito] [ALG] Matrice s. positiva: matrice A dotata di autovalori λi≥0 per ogni i; ha la proprietà che per ogni x∈Rn si ha (x, Ax)≥0; il segno di uguaglianza, [...] però, può essere realizzato anche da vettori x non nulli, e ciò la distingue da una matrice definita positiva. ◆ [ANM] Operatore s. positivo: operatore A su uno spazio di Hilbert H per cui valga (x, Ax)≥0 per ogni elemento x∈H. ...
Leggi Tutto
Banach, Stefan
Enciclopedia on line
Matematico polacco (Cracovia 1892 - Leopoli 1945). Dal 1924 al 1945 prof. all'univ. di Leopoli. Il B. partecipò alla resistenza contro l'occupazione tedesca e fu vittima delle persecuzioni naziste. È uno [...] vettoriali normati, cioè dotati di una norma, e completi, tra essi rientrano in particolare gli spazi di Hilbert. Opere: Théorie des opérations linéaires (1932), Wstęp do teorii funkcji rzeczywistych ("Introduzione alla teoria delle funzioni reali ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
ricorsività
Enciclopedia on line
ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] problema della decisione per le teorie formali (formulato da E. Schröder nel 1895 e ripreso da L. Löwenheim nel 1915 e D. Hilbert nel 1918), cioè il problema se, per una data teoria formale T, esista un algoritmo per determinare se una formula A sia ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
anello
Enciclopedia della Scienza e della Tecnica (2008)
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 [...] la sua origine nei lavori della scuola tedesca del XIX sec., principalmente di Ernst Kummer, Leopold Kronecker, Richard Dedekind e David Hilbert. Un anello è un insieme A munito di due leggi di composizione interne (x,y)→x+y e (x,y)→xy, chiamate ...
Leggi Tutto
CATEGORIA:
ALGEBRA
Littlewood, John Edensor
Enciclopedia on line
Matematico (Rochester 1885 - Cambridge 1977), prof. nell'univ. di Cambridge dal 1928 al 1950. Le ricerche di L. si riferiscono soprattutto all'aritmetica analitica e alla teoria delle funzioni. Insieme [...] è dato dalla somma di tre numeri primi. Ha anche confermato e reso più precisa la risposta affermativa data nel 1910 da D. Hilbert alla congettura di E. Waring secondo la quale per ogni intero k≥ 2 esiste un numero s(k) tale che qualunque intero n ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE