Mathematical formalization and diagrammatic reasoning: the case study of the braid group between 1925 and 1950
DOI10.1080/17498430.2018.1533298zbMATH Open1425.20001OpenAlexW2896361219MaRDI QIDQ5378563FDOQ5378563
Authors: Michael Friedman 
Publication date: 3 June 2019
Published in: British Journal for the History of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/17498430.2018.1533298
Recommendations
- How to notate a crossing of strings? On Modesto Dedò's notation of braids
- `Nobody could possibly misunderstand what a group is': a study in early twentieth-century group axiomatics
- Knot Invariants in Vienna and Princeton during the 1920s: Epistemic Configurations of Mathematical Research
- The set of paths in a space and its algebraic structure. A historical account
- Visual Mathematics: Diagrammatic Formalization and Proof
History of mathematics in the 20th century (01A60) Braid groups; Artin groups (20F36) Philosophy of mathematics (00A30) History of group theory (20-03)
Cites Work
- Theory of braids
- A FORMAL SYSTEM FOR EUCLID’SELEMENTS
- Title not available (Why is that?)
- Title not available (Why is that?)
- On formal and informal provability
- On the algebraical braid group
- Title not available (Why is that?)
- Title not available (Why is that?)
- Braids and permutations
- How to think about informal proofs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Über Zopfgruppen und gleichsinnig verdrillte Verkettungen
- Forms and roles of diagrams in knot theory
- The algebraical braid group
- Title not available (Why is that?)
- Title not available (Why is that?)
- Über Verkettungsgruppen
- 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
- Title not available (Why is that?)
- From Euclidean geometry to knots and nets
- Title not available (Why is that?)
- Über Zopfinvarianten
- Philosophy of Mathematics
- Proclus’ Conception of Geometric Space and Its Actuality
- Über ein spezielles Transformationsproblem bei einer besonderen Klasse von Zöpfen
- Beiträge zur Theorie der Zöpfe. I. Über eine besondere Klasse von Zöpfen
- Beiträge zur Theorie der Zöpfe. II. Die Lösung des Transformationsproblems für eine besondere Klasse von Viererzöpfen
Cited In (3)
This page was built for publication: Mathematical formalization and diagrammatic reasoning: the case study of the braid group between 1925 and 1950
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5378563)
