Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] Handbook of proof theory, edited by Samuel Buss, Amsterdam-Oxford, Elsevier, 1998.
Feferman 1988: Feferman, Salomon e altri Collected works, edited by Salomon Feferman e altri, New York, Oxford University Press, I-V, 1986-2003.
Herbrand 1968: Herbrand ...
Leggi Tutto
L'Ottocento: matematica. La geometria non euclidea
Rossana Tazzioli
La geometria non euclidea
Alla base dei suoi Elementi Euclide aveva posto un certo numero di definizioni (o 'termini') e di assiomi [...] Alberto Conte, Torino, Einaudi, 1991, 2 v. (ed. orig.: Mathematical thought from ancient to modern times, New York, Oxford University Press, 1972).
Loria 1901: Loria, Gino, Eugenio Beltrami e le sue opere matematiche, "Bibliotheca mathematica", s. 2 ...
Leggi Tutto
Morbosità
Giovanni Berlinguer
Definizione e valutazione della morbosità
La morbosità esprime il rapporto fra il numero di ammalati e la popolazione. Questo rapporto viene studiato come uno degli indicatori [...] , in "Epidemiological reviews", 1987, IX, pp. 219-243.
EEC (European Economic Community), European atlas of 'avoidable deaths', Oxford 1991².
Figà Talamanca, I., Elementi di epidemiologia, Roma 1981.
Gourevitch, M. (a cura di), Maladie et maladies ...
Leggi Tutto
L'Ottocento: matematica. Babbage e le origini del calcolo automatico
John Fauvel
Babbage e le origini del calcolo automatico
Il calcolatore elettronico programmabile, nella sua forma attuale, è figlio [...] Hollerith, "Isis", 62, 1971, p. 75.
Hyman 1982: Hyman, Anthony, Charles Babbage. Pioneer of the computer, Oxford, Oxford University Press, 1982.
Lindgren 1987: Lindgren, Michael, Glory and failure. The difference engines of Johann Müller, Charles ...
Leggi Tutto
I m. c. permettono di risolvere con calcolatori elettronici, all'interno delle scienze applicate, i problemi complessi che sono formulabili tramite il linguaggio della matematica. Tali problemi raramente [...] .
E.O. Brigham, The fast Fourier transform and its applications, Englewood Cliffs (N.J.) 1988.
J.S. Walker, Fourier analysis, Oxford 1988.
K.H. Hausser, H.R. Kalbitzer, NMR in medicine and biology, Berlin 1991.
C. Giacovazzo et al., Fundamental of ...
Leggi Tutto
L'Ottocento: matematica. Analisi complessa
Jeremy Gray
Analisi complessa
Lo sviluppo dell'analisi complessa è una delle caratteristiche salienti della matematica del XIX secolo. Lo studio di funzioni [...] 1994, suppl. 34, pp. 47-94.
Kline 1972: Kline, Morris, Mathematical thought from ancient to modern times, Oxford-New York, Oxford University Press, 1972.
Lützen 1990: Lützen, Jesper, Joseph Liouville, 1809-1882. Master of pure and applied mathematics ...
Leggi Tutto
L'Ottocento: matematica. Immagini della matematica nell'Ottocento
Umberto Bottazzini
Immagini della matematica nell'Ottocento
Il panorama della matematica negli ultimi decenni del XIX sec. è per molti [...] volta a minare alla base la "sacra alleanza " tra teologia e filosofia della Natura che domina a Cambridge come a Oxford, università anglicane intessute di un legame profondo tra scienza e religione, e d'altra parte le sole università in Inghilterra ...
Leggi Tutto
Scienza greco-romana. La geometria da Apollonio a Eutocio
Reviel Netz
La geometria da Apollonio a Eutocio
Il periodo di formazione del canone geometrico greco si estende dal 200 a.C. al 550 d.C., come [...] O’Meara 1989: O’Meara, Dominic J., Pythagoras revived. Mathematics and philosophy in late antiquity, Oxford, Clarendon Press; New York, Oxford University Press, 1989.
Taisbak 1982: Taisbak, Christian Marinus, Coloured quadrangle: a guide to the tenth ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. La rivoluzione cartesiana e gli sviluppi della geometria
Emily Grosholz
La rivoluzione cartesiana e gli sviluppi della geometria
La rivoluzione [...] 1990, 3 v.; v. II, pp. 419-439.
Grosholz 1991: Grosholz, Emily, Cartesian method and the problem of reduction, Oxford, Clarendon, 1991.
Lachterman 1989: Lachterman, David R., The ethics of geometry. A genealogy of modernity, New York, Routledge, 1989 ...
Leggi Tutto
Mortalità
Graziella Caselli
Introduzione
Era più o meno la metà del Seicento quando la città di Londra, volendo conoscere l'andamento delle epidemie che affliggevano la popolazione, invitò John Graunt [...] and cause-specific mortality, in The decline of mortality in Europe (a cura di R. Schofield, D. Reher e A. Bideau), Oxford 1991, pp. 68-96.
Caselli, G., L'évolution à long terme de la mortalité en Europe, in European population. II. Demographic ...
Leggi Tutto
oxford
òxford s. m. [dal nome della città ingl. di Oxford ‹òksfëd›, capoluogo dell’Oxfordshire]. – Tessuto di cotone per camicie, ottenuto con armatura in tela, intrecciando fili di ordito e fili di trama di peso e spesso anche di colore diverso;...
oxfordiano
agg. e s. m. [dall’ingl. Oxfordian, der. del nome della città ingl. di Oxford]. – In cronologia geologica, piano inferiore del Malm (sottoperiodo del giurassico, dell’era mesozoica), tipicamente rappresentato nella regione di Oxford,...