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, [...] della University of Washington a Seattle guidato da Gerard D. Schellenberg. Il gene risulta mutato in glaucofite hanno un'origine comune. Tale scoperta si deve ai microbiologi David Moreira, della Università di Alicante, in Spagna, Hervé Le Guyader ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] è in NC1) non sta in AC0. Ulteriori lavori, iniziati da David A. Barrington e Denis Therien (Straubing 1994), hanno dimostrato che vi è 1965, pp. 450-464.
Lallement 1979: Lallement, Gerard, Semigroups and combinatorial applications, New York, Wiley, ...
Leggi Tutto
Geometria
Edoardo Vesentini
Nel tracciare i lineamenti essenziali di una storia della matematica, Federigo Enriques osservava nel 1938: "A chi raffronti gli sviluppi che i diversi rami delle matematiche [...] una corrente di idee, apparsa in Francia nel sec. XVII con Gérard Desargues e Blaise Pascal e risalente alla "tecnica dei pittori", ai risultati ottenuti indipendentemente da Michael Artin e David Mumford, Herbert Clemens, Philip Griffiths, Vassili A ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'economia matematica 1870-1950
Angelo Guerraggio
L'economia matematica 1870-1950
Di matematica sociale comincia a parlare Condorcet nella Francia [...] e che approderà ai due teoremi fondamentali di Kenneth Arrow e Gérard Debreu del 1951. In particolare, nel caso vettoriale de Finetti una borsa di studio della Rockefeller Foundation studia con David Hilbert a Gottinga, prima di trasferirsi nel 1930 ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. La matematica ebraica
Tony Lévy
La matematica ebraica
Gli studiosi ebrei arabofoni che vivevano nei paesi dell'Islam rappresentavano una [...] -292; 4, 1906, pp. 214-237.
Smith 1918: Smith, David E. - Ginsburg, Jekuthial, Rabbi ben Ezra and the Hindu-Arabic bibliothèque de Gersonide, d'après son catalogue autographe, édité par Gérard Weil, F. Chartrain, Louvain, Peeters, 1991.
Wertheim 1896 ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. La rinascita degli studi geometrici nel mondo latino
Menso Folkerts
La rinascita degli studi geometrici nel mondo latino
La tradizione [...] Latin translation of the Arabic version of Euclid's Elements commonly ascribed to Gerard of Cremona, Leiden, E.J. Brill, 1983.
‒ 1992: Busard Wallingford, an edition of his writings, edited by John David North, Oxford, Clarendon, 1976, 3 v.
Schrader ...
Leggi Tutto
logica intuizionista
Silvio Bozzi
La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] cercato di codificare in un calcolo logico analogo a quello di David Hilbert e Wilhelm Ackemann per la logica classica i principi della logica proposizionale intuizionista. Negli stessi anni Gerard Gentzen introduce un nuovo tipo di calcoli logici ...
Leggi Tutto