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 [...] assai limitata al proprio programma. In questi anni la sua visione del continuo e degli insiemi numerabili era molto simile a quella diBorel; egli scrive infatti: "Il continuo come totalità ci è dato intuitivamente; una costruzione del continuo ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] ciclosporina, estratta dal fungo Tolypoclaidum inflatum. Jacques-Paul Borel coordina le ricerche che nel 1975-1976 dimostrano che avviata, risulta che deriva da un insiemedi circostanze non particolarmente significative, alle quali comunque ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I luoghi e le istituzioni
Umberto Bottazzini
I luoghi e le istituzioni
Nei decenni che separano l'ultimo quarto del XIX sec. dalla Seconda guerra [...] campi di ricerca più avanzati, come la teoria degli insiemi e quella degli invarianti. Il più celebre di essi, lo Zahlbericht di David soprattutto Émile Borel (1871-1956), il curatore di una collana di monografie, la cosiddetta 'Collection Borel' che ...
Leggi Tutto