1,715
Views
0
CrossRef citations to date
0
Altmetric
Articles

Mathematical formalization and diagrammatic reasoning: the case study of the braid group between 1925 and 1950

Bibliography

  • Alexander, James W, ‘A lemma on systems of knotted curves’, Proceedings of the National Academy of Sciences, 9 (1923), 93–95. doi: 10.1073/pnas.9.3.93
  • Artin, Emil, ‘Zur Isotopie zweidimensionaler Flächen im R4’, Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, 4(1), (1925), 174–177. doi: 10.1007/BF02950724
  • Artin, Emil, ‘Theorie der Zöpfe’, Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, 4 (1926), 47–72. doi: 10.1007/BF02950718
  • Artin, Emil, ‘Theory of braids’, The Annals of Mathematics, 48 (1947a), 101–126. doi: 10.2307/1969218
  • Artin, Emil, ‘Braids and permutations’, Annals of Mathematics, Second Series, 48 (1947b), 643–649. doi: 10.2307/1969131
  • Artin, Emil, ‘The theory of braids’, American Scientist, 38/1 (1950), 112–119.
  • Avigad, Jeremy; Dean, Edward, and Mumma, John, ‘A formal system for Euclid’s elements’, The Review of Symbolic Logic, 2 (2009), 700–768. doi: 10.1017/S1755020309990098
  • Benis-Sinaceur, Hourya, ‘De D. Hilbert à E. Artin: Les différents aspects du dix-septième problème et les filiations conceptuelles de la théorie des corps réels clos’, Archive for History of Exact Sciences, 29 (1984), 267–286. doi: 10.1007/BF00348623
  • Bohnenblust, Frederic, ‘The algebraical braid group’, Annals of Mathematics, Second Series, 48 (1947), 127–136. doi: 10.2307/1969219
  • Burau, Werner, ‘Über Zopfinvarianten’, Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, 9 (1932), 117–124. doi: 10.1007/BF02940634
  • Burau, Werner, ‘Über Verkettungsgruppen’, Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, 11 (1935a), 171–178. doi: 10.1007/BF02940721
  • Burau, Werner, ‘Über Zopfgruppen und gleichsinnig verdrillte Verkettungen’, Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, 11 (1935b), 179–186. doi: 10.1007/BF02940722
  • Chow, Wei-Liang, ‘On the algebraical braid group’, Annals of Mathematics, Second Series, 49(3) (1948), 654–658. doi: 10.2307/1969050
  • Corry, Leo, Modern algebra and the rise of mathematical structures, Basel: Springer, 2nd edition, 2004.
  • Corry, Leo, ‘Axiomatics, empiricism, and anschauung in hilbert’s conception of geometry: between arithmetic and general relativity’ in Jeremy Gray and Jose Ferreirós (eds), The architecture of modern mathematics: essays in history and philosophy, Oxford: Oxford University Press, 2006, 155–176.
  • De Toffoli, Silvia and Giardino, Valeria, ‘Forms and roles of diagrams in knot theory’, Erkenntnis, 79 (2014), 829–842. doi: 10.1007/s10670-013-9568-7
  • De Toffoli, Silvia and Giardino, Valeria, ‘Envisioning transformations. The practice of topology’ in Brendan Larvor (ed.), Mathematical cultures, Basel: Birkhäuser, 2016, 25–50.
  • Epple, Moritz, ‘Styles of argumentation in late 19th-century geometry and the structure of mathematical modernity’ in Marco Panza and Marco Otte (eds), Analysis and synthesis in mathematics: history and philosophy, Dordrecht: Kluwer, 1997, 177–198.
  • Epple, Moritz, Die Entstehung der Knotentheorie: Kontexte und Konstruktionen einer modernen mathematischen Theorie, Braunschweig/Wiesbaden: Springer Vieweg, 1999.
  • Ewald, William, From Kant to Hilbert: a source book in the foundations of mathematics. Volume II, Oxford: Clarendon Press, 1996.
  • Frei, Günter and Roquette, Peter (ed.), Emil Artin und Helmut Hasse: Die Korrespondenz 1923–1934, Göttingen: Universitätsverlag Göttingen, 2008.
  • Fröhlich, W., ‘Über ein spezielles Transformationsproblem bei einer besonderen Klasse von Zöpfen’, Monatshefte für Mathematik und Physik, 44 (1936), 225–237. doi: 10.1007/BF01699317
  • Fröhlich, W. ‘Beiträge zur Theorie der Zöpfe. I. Über eine besondere Klasse von Zöpfen’, Mathematische Annalen, 115 (1938), 412–434. doi: 10.1007/BF01448949
  • Fröhlich, W, ‘Beiträge zur Theorie der Zöpfe. II. Die Lösung des Transformationsproblems für eine besondere Klasse von Viererzöpfen’, Mathematische Annalen, 116 (1939), 281–296. doi: 10.1007/BF01597357
  • Hahn, Hans, ‘Die Krise der Anschauung’ in Krise und Neuaufbau in den exakten Wissenschaften, 5 Wiener Vorträge, 1. Zyklus, Leipzig: Wien, 1933, 41–64.
  • Hilbert, David, ‘Neubegründung der Mathematik. Erste Mitteilung’, Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, 1 (1922), 157–177. doi: 10.1007/BF02940589
  • Hilbert, David and Cohn-Vossen, Stephan, Anschauliche Geometrie, Berlin: Springer, 1932.
  • Krämer, Sybille, Symbolische Maschinen, Darmstadt: Wissenschaftliche Buchgesellschaft, 1988.
  • Krämer, Sybille, Figuration, Anschauung, Erkenntnis. Grundlinien einer Diagrammatologie, Berlin: Suhrkamp, 2016.
  • Lakatos, Imre, Proofs and refutations. The logic of mathematical discovery, Cambridge: Cambridge University, 1976.
  • Larvor, Brendan, ‘How to think about informal proofs’, Synthese, 187 (2012), 715–730. doi: 10.1007/s11229-011-0007-5
  • Larvor, Brendan, ‘From Euclidean geometry to knots and nets’, Synthese, (2017), doi: 10.1007/s11229-017-1558-x
  • Leitgeb, Hannes, ‘On formal and informal provability’ in Bueno Otavio and Linnebo Øystein (eds), New waves in philosophy of mathematics, London: Palgrave Macmillan, 2009, 263–299.
  • Lemmermeyer, Franz and Roquette, Peter (eds), Die mathematischen Tagebücher von Helmut Hasse 1923–1935, Göttingen: Universitätsverlag Göttingen, 2012.
  • Linnebo, Øystein, Philosophy of mathematics, Princeton: Princeton University Press, 2017.
  • Mancosu, Paolo (ed.), The philosophy of mathematical practice, New York: Oxford University Press, 2008.
  • Manders, Kenneth, ‘The Euclidean diagram (1995)’ in Paolo Mancosu (ed), The philosophy of mathematical practice, New York: Oxford University Press, 2008, 80–133.
  • Netz, Reviel, ‘Greek mathematical diagrams: their use and their meaning’, For the Learning of Mathematics, 18/3 (1998), 33–39.
  • Netz, Reviel, The shaping of deduction in Greek mathematics. A study in cognitive history, Cambridge: Cambridge University Press, 1999.
  • Rabouin, David, ‘Proclus’ conception of geometric space and its actuality’ in Vincenzo De Risi (ed), Mathematizing space: the objects of geometry from antiquity to the early modern age, Basel: Birkhäuser, 2015, 105–142.
  • Sinaceur, Hourya, Corps et Modèles, Paris: Vrin, 1991.
  • Volkert, Klaus, Die Krise der Anschauung: eine Studie zu formalen und heuristischen Verfahren in der Mathematik seit 1850, Göttingen: Vandenhoek & Ruprecht, 1986.