La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] richiesta per risolvere il problema con una macchina di Turing, in funzione della lunghezza dell'input. Essi dimostrano anno, la medaglia Fields.
I teoremi di Baker. L'inglese Alan Baker dimostra una notevole estensione del teorema con cui nel 1934 ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] dal generale al particolare; il tipo 0 corrisponde alle macchine di Turing; il tipo 1 fornisce i linguaggi dipendenti dal contesto; il tipo di analisi elementare mediante assorbimento atomico. Alan Walsh, della Commonwealth Scientific and Industrial ...
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 [...] allora la classe delle funzioni calcolabili. Alonzo Church, Kurt Gödel, Emil L. Post, Alfred Tarski e Alan M. Turing proposero diverse possibili definizioni. Ciascuna era basata su un particolare aspetto della nozione di funzione calcolabile: essere ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I problemi di Hilbert e la matematica del nuovo secolo
David E. Rowe
I problemi di Hilbert e la matematica del nuovo secolo
Problemi matematici [...] omogenee di grado arbitrario e genere zero.
La teoria degli algoritmi, sviluppata da Alonzo Church (1903-1995) e Alan M. Turing (1912-1954) negli anni Trenta, permise ai matematici di studiare la logica di tali procedimenti ricorsivi e di dare ...
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 [...] di sistemi lineari, o di inversione di matrici, dovute principalmente a John von Neumann, Herman H. Goldstine e Alan M. Turing. In queste ricerche si affronta in un modo completamente nuovo lo studio degli algoritmi numerici, grazie soprattutto alla ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] algoritmo ‒ la nozione di funzione ricorsiva (generale), risultato del lavoro di Alonzo Church, Kurt Gödel, Jacques Herbrand, Alan M. Turing e Stephen C. Kleene ‒ non influì sull'intuizionismo; ciò tuttavia non deve sorprendere, in quanto la maggior ...
Leggi Tutto