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 [...] di Cantor. Il matematico Paul J. Cohen dimostra che l'ipotesi del continuo è indipendente dalla teoria degli insiemi di Zermelo-Fraenkel, e che lo stesso vale per l'assioma della scelta. Il logico austriaco Kurt Gödel aveva già dimostrato, nel 1940 ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1991-2000
1991-2000
1991
Il sistema operativo Linux. Uno studente finlandese, Linus Torvalds, sviluppa il sistema operativo Linux. Il sistema può essere distribuito, [...] che è forse il risultato più celebre di Woodin: l'equiconsistenza dell''assioma di determinatezza' (AD) nella teoria di Zermelo-Fraenkel (ZF) e dell'esistenza di infiniti cardinali di Woodin (in ZFC). L'assioma di determinatezza è stato proposto da ...
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 [...] , Paul Bernays e Kurt Gödel. Oggi si parla dunque dei sistemi assiomatici ZF (Zermelo-Fraenkel) e BG (Bernays-Gödel). Con l'aggiunta dell'assioma di scelta, essi forniscono sistemi estremamente flessibili in cui tutta la teoria cantoriana degli ...
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 [...] possono essere argomento di altre funzioni.
Von Neumann abbandonerà il suo sistema per lavorare con quello più familiare di Zermelo-Fraenkel, in modo da far conoscere la sua teoria degli ordinali, ma esso sarà ripreso negli anni Trenta, dando origine ...
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 [...] ) il quale, nel 1938, dimostrò che la cosiddetta ipotesi generalizzata del continuo è compatibile con gli assiomi di Zermelo-Fraenkel della teoria degli insiemi. Gödel pensava che l'ipotesi del continuo fosse, in realtà, indipendente dal sistema di ...
Leggi Tutto
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 [...] , anello, campo e così via, assumendo come primitivo il concetto di insieme, si serve del sistema assiomatico di Zermelo e Fraenkel, ma dichiara di non voler entrare "nelle difficoltà inerenti i fondamenti", preferendo un punto di vista naïf che ...
Leggi Tutto
rimpiazzamento
rimpiazzaménto s. m. [der. di rimpiazzare]. – Forma ormai non com. per rimpiazzo, ma specifica nelle locuz. della logica matematica assioma di r., assioma introdotto da A. A. Fraenkel, intorno al 1922, per eliminare alcuni inconvenienti...