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, [...] aperte in analisi come il problema dell'iperpiano e quello di Schröder-Bernstein. Il lavoro di Gowers ha aperto anche la strada alla
Edmond Henri Fischer, Svizzera e USA, e Edwin Gerhard Krebs, USA, entrambi della University of Washington, Seattle ...
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 [...] classi e delle relazioni (dovuta a Boole, DeMorgan, Peirce e Schröder). In termini tecnici moderni, la logica di Frege era un si potrebbe dubitare). Proprio tali metodi furono poi proposti da Gerhard Gentzen (1909-1945) nel 1936, con l'uso dell' ...
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 [...] 1956) di quello che è oggi noto come teorema di Cantor-Schröder-Bernstein. Questo teorema afferma che l'ordinamento tra i cardinali è cicli, che saranno evitati con l'assioma di fondazione. Gerhard Hessenberg (1873-1925) lamenta che nella teoria di ...
Leggi Tutto
reideologizzazione
s. f. Tentativo di riportare la competizione politica agli schieramenti ideologici del passato. ◆ «C’è una chiara reideologizzazione in atto… è un piano concordato dalla Cdu e da certi media, specie il gruppo Springer» [Gerhard...
antiguerra
(anti guerra), agg. Contrario alla guerra. ◆ Venerdì il presidente francese [Jacques Chirac], il premier tedesco [Gerhard Schröder] e il presidente russo Vladimir Putin si vedranno a Pietroburgo per decidere se la loro alleanza...