La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] lavori di Lobachevskij, di Riemann o di Hermann von Helmholtz. Egli presenta invece i loro risultati in sua scuola a Gottinga, sembra avviata al successo, e nel 1927 JohnvonNeumann (1903-1957) riesce a dimostrare che una certa parte dell'aritmetica ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] semplici; ma egli lasciò ai suoi assistenti e collaboratori di Gottinga ‒ specialmente a Bernays, Wilhelm Ackermann e JohnvonNeumann ‒ il compito di portare a compimento la Beweistheorie, o teoria della dimostrazione, per il suo programma. L ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Equazioni differenziali alle derivate parziali
Haïm Brezis
Felix Browder
Equazioni differenziali alle derivate parziali
Lo studio delle equazioni [...] panacea, malgrado le previsioni estremamente ottimistiche di alcuni profeti e pionieri in questo campo, compreso JohnvonNeumann, i computer hanno tuttavia drasticamente cambiato la pratica della matematica applicata, dando luogo a nuovi problemi ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le origini dell'analisi funzionale
Angus E. Taylor
Le origini dell'analisi funzionale
L'analisi funzionale acquista una precisa identità nel [...] xn come l'integrale di f(s)Φn(s).
Dopo qualche anno lo spazio ℓ2 fu chiamato 'spazio di Hilbert'. JohnvonNeumann (1903-1957) formulò la definizione assiomatica di spazio di Hilbert astratto separabile, di cui L2 e ℓ2 sono esempi particolari ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria della misura
Maurice Sion
La teoria della misura
Con la nozione matematica di misura si vogliono analizzare concetti che si riferiscono [...] volta i problemi della fisica hanno esercitato una enorme influenza su queste due discipline.
Negli anni Trenta JohnvonNeumann (1903-1957) costruì un modello matematico per la meccanica quantistica che presto divenne quello standard nel settore ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'economia matematica 1870-1950
Angelo Guerraggio
L'economia matematica 1870-1950
Di matematica sociale comincia a parlare Condorcet nella Francia [...] Wald effettivamente risolve in entrambe le sue versioni del modello di equilibrio.
La stessa 'modernità' si trova nei lavori di JohnvonNeumann (1903-1957), uno dei più grandi matematici del XX secolo. Nato a Budapest, nel 1926, dopo la laurea in ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] Gesellschaft für empirische Philosophie. Il primo giorno furono tenute le relazioni di Rudolf Carnap, Arend Heyting, JohnvonNeumann e Friedrich Waismann, che presentarono, rispettivamente, il punto di vista logicista, intuizionista, formalista e ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La matematizzazione della biologia e la biomatematica
Giorgio Israel
La matematizzazione della biologia e la biomatematica
Le sorgenti concettuali [...] efficace della costruzione di modelli. Come affermerà più tardi JohnvonNeumann (1903-1957), la scienza non soltanto non pretende dal 1918 al 1932 da tre scienziati: Ronald A. Fisher, John B.S. Haldane e Sewall Wright. I tre protagonisti di questi ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] alla costruzione dei primi computer: l'ENIAC (electronic numerical integrator and calculator), diretto negli Stati Uniti da JohnvonNeumann (1903-1957), e l'ACE (automatic computing engine), diretto in Gran Bretagna da Turing stesso, entrambi negli ...
Leggi Tutto