References
- Atiyah , M. 1987 . Collected Works, Vol. 1: Early Papers and General Papers , Oxford : Oxford University Press .
- Atiyah , M. 1988 . Collected Works, Vol. 2: K‐Theory , Oxford : Oxford University Press .
- Corfield , D. 1997 . Assaying Lakatos's philosophy of mathematics . Studies in History and Philosophy of Science , 28 : 99 – 121 .
- Corfield , D. 1998 . Beyond the methodology of mathematics research programmes . Philosophica Mathematica, Series III , 6 : 272 – 301 .
- Dieudonné , J. 1989 . A History of Algebraic and Differential Topology: 1900–1960 , Basel : Birkhäuser .
- Eilenberg , S. and Steenrod , N. 1952 . Foundations of Algebraic Topology , Princeton : Princeton University Press .
- Ernest , P. 1997 . The legacy of Lakatos: reconceptualising the philosophy of mathematics . Philosophia Mathematica, Series III , 5 : 116 – 134 .
- Franklin , A. 1986 . The Neglect of Experiment , Cambridge : Cambridge University Press .
- Fulton , W. 1995 . Algebraic Topology: a First Course , New York : Springer .
- Galison , P. 1987 . How Experiments End , Chicago : Chicago University Press .
- Gillies , D. , ed. 1992 . Revolutions in Mathematics , Oxford : Oxford University Press .
- Glas , E. 1995 . Kuhn, Lakatos, and the image of mathematics . Philosophia Mathematica , 3 : 225 – 247 . Series III,
- Hacking , I. 1983 . Representing and Intervening , Cambridge : Cambridge University Press .
- Hilbert , D. 1900, 1965 . “ Mathematische Probleme ” . In Gesammelte Abhandlungen , Vol. III , New York : Chelsea .
- Kantor , J‐M. 1996 . Hubert's problems and their sequels . The Mathematical Intelligencer , 18 : 21 – 30 .
- Kashiwara , M. and Schapira , P. 1990 . Sheaves on Manifolds , New York : Springer .
- Kitcher , P. 1983 . The Nature of Mathematical Knowledge , Oxford : Oxford University Press .
- Lam , T. Y. 1998 . Representations of finite groups: a hundred years, Part I . Notices of the AMS , 45 : 361 – 373 .
- Larvor , B. 1997 . Lakatos as historian of mathematics . Philosophia Mathematica , 5 : 42 – 64 . Series III,
- Marquis , J.‐P. 1997 . Abstract mathematical tools and machines for mathematics . Philosophica Mathematica , 5 : 250 – 272 . Series III,
- Marquis , J.‐P. 1998 . “ Epistemological aspects of the application of mathematics to itself ” . In Philosophy and the Many Faces of Science , Edited by: Anapolitanos , D. , Baltas , A. and Tsinorema , S. New York : Rowman & Littlefield .
- Oliveri , G. 1997 . Criticism and growth of mathematical knowledge . Philosophia Mathematica , 5 : 228 – 249 . Series III,
- Rav , Y. 1999 . Why do we prove theorem? . Philosophica Mathematica , 7 : 5 – 41 . Series III,
- Rota , G.‐C. 1999 . Two turning points in invariant theory . The Mathematical Intelligencer , 21 : 20 – 27 .
- Rotman , J. J. 1988 . An Introduction to Algebraic Topology , New York : Springer .
- Spanier , E. 1966 . Algebraic Topology , New York : McGraw‐Hill .
- A preliminary version of this paper was presented at the Philosophy of Science Conference in Dubrovnik. I want to thank the organizers of this conference as well as all the participants who have made it such a wonderful and stimulating event. I also want to thank the SSHRC of Canada for its financial support.
- The expression “mathematical engineering” was suggested to me by David Spurret. I think it is extremely interesting and I want to thank him for the suggestion.
![Supercharge Your Next Research Paper: Research and write your next paper with Jenni AI.]({"type":"image" , "src" : "/sda/112444/Skyscraper-humanities.png"})