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 [...] è ricorsivamente enumerabile. Poiché sia A sia −A sono ricorsivamente enumerabili, A è un insieme ricorsivo. Perciò esiste un j tale che ψj(a) rappresenta A in T, cioè del teorema di Ramsey finito, la versione finita di Friedman del teorema di ...
Leggi Tutto
L'Ottocento: matematica. Equazioni differenziali ordinarie
Jeremy Gray
Equazioni differenziali ordinarie
Variabili reali
Durante il XVIII sec. i matematici avevano risolto un numero crescente di equazioni [...] dei valori di x o di z per i quali la somma della serie è un valore finito. Egli aveva dimostrato che, se si escludono i casi banali, un tale insieme è sempre un intervallo della forma −M⟨x⟨M o un cerchio definito dalla relazione ∣z∣⟨R. Per esempio ...
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 [...] (che consiste nel trovare il minimo elemento di un insieme non vuoto di numeri naturali).
Consolidamento
Con il lavoro lavoro di McCulloch e Pitts fornì la chiave: un automa finito era sufficiente. In pratica un tale automa può essere sintetizzato ...
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 [...] dare luogo a una nuova forma di virus. I due otterranno, insieme a Salvador E. Luria, il premio Nobel 1969 per la medicina o ordine nel linguaggio di tali strutture, stabilisce in un tempo finito se la formula è vera in tutte le algebre di Boole ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola matematica di Mosca
Sergej Sergeevic Demidov
La scuola matematica di Mosca
La matematica a San Pietroburgo e a Mosca
Nella seconda [...] i metodi diretti di Euler con il passaggio al limite dall'equazione a differenze finite alla corrispondente equazione differenziale.
La teoria delle funzioni e quella degli insiemi costituirono una base adeguata per la nascita a Mosca, tra la fine ...
Leggi Tutto
insieme
insième (ant. insème) avv. e s. m. [lat. ĭnsĕmul, rifatto nel lat. volg. in *insĕmel per sostituzione di semel «una volta» a simul «insieme»]. – 1. avv. Esprime in genere i seguenti rapporti: a. Compagnia, unione: siamo usciti i. io...
finito
agg. [part. pass. di finire]. – 1. a. Giunto o condotto a termine, compiuto: arrivare a spettacolo f.; sono ormai due anni f. che ha lasciato il paese. Frequente nell’uso fam. la locuz. farla finita (con la indeterminato), smettere...