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 [...] indipendente dalla teoria degli insiemi diZermelo-Fraenkel, e che lo stesso vale per l'assioma della scelta. Il logico austriaco . Hoare ha fornito anche un sistemadiassiomi per la sua logica, che permette di dimostrare che un programma è corretto ...
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'assiomadi scelta, essi forniscono sistemi estremamente flessibili in cui tutta la teoria cantoriana degli insiemi ...
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 [...] Gottinga. Egli introduce le strutture algebriche di gruppo, anello, campo e così via, assumendo come primitivo il concetto di insieme, si serve del sistema assiomatico diZermelo e Fraenkel, ma dichiara di non voler entrare "nelle difficoltà inerenti ...
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 [...] generalizzata del continuo è compatibile con gli assiomidiZermelo-Fraenkel della teoria degli insiemi. Gödel pensava che l'ipotesi del continuo fosse, in realtà, indipendente dal sistemadiZermelo-Fraenkel, ma ciò fu dimostrato soltanto nel 1963 ...
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 [...] sua famosa lista di problemi con "il problema di Cantor del numero cardinale del continuo: ogni sistemadi infiniti numeri reali non ci sono più discussioni sugli assiomidiZermelo-Fraenkel; anche l'assiomadi scelta non suscita più perplessità da ...
Leggi Tutto