Mathematical proof: a research programme 65
( 2008 b) Classic and Commentary: An Outlook Based on Mathematical Sources.
Preprint MPING, vol. 344. Berlin.
( 2009 ) ‘ On mathematical problems as historically determined artifacts:
refl ections inspired by sources from ancient China ’, Historia Mathematica
36 : 213 –46.
( 2010 ) ‘ Proof in the wording: two modalities from ancient Chinese
algorithms ’, in Explanation and Proof in Mathematics: Philosophical and
Educational Perspectives , ed. G. Hanna , H. N. Jahnke and H. Pulte.
Dordrecht : 253 –85.
Dauben , J. , and Scriba , C. J. (eds.) ( 2002 ) Writing the History of Mathematics: Its
Historical Development. Basel.
Engelfriet , P. ( 1993 ) ‘ Th e Chinese Euclid and its European context ’, in L’ E u r o p e
en Chine: Interactions scientifi ques, religieuses et culturelles aux xvii e et xviii e
siècles , ed. C. Jami and H. Delahaye. Paris : 111 –35.
( 1998 ) Euclid in China: Th e Genesis of the First Translation of Euclid’s Elements
in 1607 and Its Reception up to 1723. Leiden.
Gardies , J.-L. ( 1984 ) Pascal entre Eudoxe et Cantor. Paris.
Grabiner , J. ( 1988 ) ‘ Th e centrality of mathematics in the history of Western
thought ’, Mathematics Magazine 61 : 220 –30.
Hacking , I. ( 1980 ) ‘ Proof and eternal truths: Descartes and Leibniz ’, in Descartes:
Philosophy, Mathematics and Physics , ed. S. Gaukroger. Brighton : 169 –80.
( 2000 ) ‘ What mathematics has done to some and only some philosophers ’, in
Mathematics and Necessity: Essays in the History of Philosophy , e d. T. S m i l e y.
Oxford : 83 –138.
( 2002 ) Historical Ontology. Cambridge, Mass.
Harari , O. ( 2003 ) ‘ Existence and constructions in Euclid’s Elements ’, Archive for
History of Exact Sciences 57 : 1 –23.
Hilbert , D. ( 1900 ) ‘ Mathematische Probleme ’, Nachrichten von der Königlichen
Gesellschaft der Wissenschaft en zu Göttingen, Mathematisch–Physikalische
Klasse : 253 –97.
( 1902 ) ‘ Mathematical Problems ’, Bulletin of the American Mathematical Society
8 : 437 –79.
Horng Wann-sheng ( 1993 ) ‘ Chinese mathematics at the turn of the nineteenth
century: Jiao Xun, Wang Lai and Li Rui ’, in Philosophy and Conceptual
History of Science in Taiwan , ed. C. H. Lin and D. Fu. Dordrecht :
167 –208.
Høyrup , J. ( 1986 ) ‘ Al-Khwarizmi, Ibn Turk, and the “Liber mensurationum”: on
the origins of Islamic algebra ’, Erdem 2 : 445 –84.
( 1990 ) ‘ Algebra and naive geometry: an investigation of some basic aspects
of Old Babylonian mathematical thought ’, Altorientalische Forschungen
17 : 27–69, 262 –324.
( 2006 ) ‘ Artifi cial languages in Ancient Mesopotamia: a dubious and a less
dubious case ’, Journal of Indian Philosophy 34 : 57 –88.