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 [...] può essere considerato come una delle prime forme di matematizzazione di un problemadi dinamica delle popolazioni e, al contempo, di epidemiologia. Applicando il calcolo delle probabilità alle tavole di mortalità disponibili, sotto l'ipotesi che "le ...
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 [...] and calculator), diretto negli Stati Uniti da John von Neumann (1903-1957), e l'ACE (automatic computing engine), totale. Tuttavia è facile notare che così non è. Il problemadi decidere se un programma calcola una funzione totale non è ricorsivo ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] il problemadi mostrare che ogni intero positivo è somma di al più 9 cubi (di interi positivi), di 19 biquadrati e, in generale, di g algebre di von Neumann.
William Paul Thurston, USA, Princeton University, New Jersey, per i lavori di topologia, ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] gli assiomi. Non si può usare tuttavia la nozione di verità rispetto a un modello che ancora non si ha, nel corso della costruzione, problema che già aveva bloccato Fraenkel e von Neumann. Tuttavia ora si sa che una definizione predicativa, come ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I problemidi Hilbert e la matematica del nuovo secolo
David E. Rowe
I problemidi Hilbert e la matematica del nuovo secolo
Problemi matematici [...] Lev Semenovič Pontrjagin (1908-1988) e da von Neumann, prima di essere risolta, nel 1952 in senso positivo, da Andrew Gleason, nonché dal gruppo di Deane Montgomery e di Leo Zippin.
Il X problemadi Hilbert fu anch'esso trascurato per molti anni. La ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'analisi numerica
Paolo Zellini
L'analisi numerica
L'analisi numerica moderna comincia a delinearsi verso la metà del XX sec., con le prime [...] calcolo il più possibile somiglianti alla macchina di Turing, sebbene calibrati sulla natura specifica del problema numerico. Prima di von Neumann fu Scholtz a introdurre, in una breve nota del 1937, il concetto di catena additiva per un intero n, un ...
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 [...] due fra i problemidi Hilbert riguardavano direttamente i fondamenti della matematica. Il programma di Hilbert per stabilire e collaboratori di Gottinga ‒ specialmente a Bernays, Wilhelm Ackermann e John von Neumann ‒ il compito di portare a ...
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 [...] adeguate su cui basare una tale teoria. La soluzione di questo problema è uno dei maggiori risultati del XX sec. ed volta i problemi della fisica hanno esercitato una enorme influenza su queste due discipline.
Negli anni Trenta John von Neumann (1903 ...
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 [...] reazione da parte dei partecipanti alla discussione, salvo quella di von Neumann il quale sottolineò che era ancora aperto il problema se tutte le regole di inferenza intuizionisticamente ammissibili fossero rappresentabili in un sistema formale ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] Johann von Neumann e Stanislaw Ulam. Il metodo si basa su simulazioni statistiche che impiegano numeri casuali (come nella roulette, da cui il riferimento al Casinò di Monte Carlo). Il metodo si affermerà per trattare problemidi grandi dimensioni la ...
Leggi Tutto