Henrik Kragh Sørensen
Professor
- 2022
- Published
Epistemic Roles of Diagrams in Short Proofs
Sørensen, Henrik Kragh & Johansen, Mikkel Willum, 2022, Diagrammatic Representation and Inference. Springer, p. 235–242 8 p. (Lecture Notes in Computer Science, Vol. 13462).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2021
- Published
Beyond Counting: Measuring Diagram Intensity in Mathematical Research Papers
Sørensen, Henrik Kragh, 2021, Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Proceedings. Basu, A., Stapleton, G., Linker, S., Legg, C., Manalo, E. & Viana, P. (eds.). 1 ed. Springer, p. 63-70 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12909 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The importance of mathematical surplus: Review of Otávio Bueno and Steven French, ‘Applying Mathematics: Immersion, Inference, Interpretation’
Sørensen, Henrik Kragh, 2021, Metascience. 1 ed. Springer, p. 231-234 4 p. (Metascience, Vol. 30).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- 2020
- Published
Counting Mathematical Diagrams with Machine Learning
Sørensen, Henrik Kragh & Johansen, Mikkel Willum, Aug 2020, Diagrammatic Representation and Inference. Pietarinen, A-V., Chapman, P., Bosveld-de Smet, L., Giardino, V., Corter, J. & Linker, S. (eds.). Springer, Vol. 12169. p. 26-33 (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
The Norwegian Hosts: The Newcomer with Historical Traditions
Sørensen, Henrik Kragh, 2020, Meeting under the integral sign: The Oslo congress of mathematicians on the eve of the second world war. Hollings, C. D. & R. S-S. (eds.). 4 ed. Providence,: American Mathematical Society, Vol. 68. p. 21-60 40 p. (Notices of the American Mathematical Society). (History of Mathematics, Vol. 44).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- 2018
- Published
At tegne landet: Kortlægningens bidrag til den nationale landskabsforståelse i det lange 1800-tal
Sørensen, Henrik Kragh, 2018, Jordforbindelser: Dansk maleri 1780–1920 og det antropocæne landskab. Aarhus Universitetsforlag, p. 144-167 24 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Facilitating source-centered history of mathematics: Developing Materials for Danish Upper Secondary Mathematics Education
Danielsen, K., Gertz, Emilie & Sørensen, Henrik Kragh, 2018, Mathematics, Education and History: Towards a Harmonious Partnership. Clark, K. M., Kjeldesen, T. H., Schorcht, S. & Tzanakis, C. (eds.). Springer, p. 85-100 16 p. (ICME-13 Monographs).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Videnskabsteori relevant for matematikere? Hvordan man kan få epistemologi og etik til at mødes
Johansen, Mikkel Willum & Sørensen, Henrik Kragh, 2018, Fagets Videnskabsteori. Andersen, H., Børsen, T. & Pedersen, D. B. (eds.). 1 ed. Samfundslitteratur, p. 121-134 14 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- 2017
- Published
Shaping Mathematics as a Tool: The Search for a Mathematical Model for Quasi-crystals
Sørensen, Henrik Kragh, 2017, Mathematics as a Tool. Tracing New Roles of Mathematics in the Sciences. Lenhard, J. & Carrier, M. (eds.). Springer, p. 69-90 22 p. (Boston Studies in the Philosophy and History of Science, Vol. 327).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- 2016
- Published
Appropriating role models for the mathematical profession: Biographies in the American Mathematical Monthly around 1900
Sørensen, Henrik Kragh, 2016, Historiography of Mathematics in the 19th and 20th Centuries. Remmert, V. R., Schneider, M. R. & Sørensen, H. K. (eds.). Birkhäuser Verlag, p. 79-108 30 p. (Trends in the History of Science).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Introductory remarks
Remmert, V. R., Schneider, M. R. & Sørensen, Henrik Kragh, 2016, Historiography of Mathematics in the 19th and 20th Centuries. Remmert, V. R., Schneider, M. R. & Sørensen, H. K. (eds.). Birkhäuser Verlag, p. 1-8 (Trends in the History of Science).Research output: Chapter in Book/Report/Conference proceeding › Preface/postscript › Research › peer-review
‘The End of Proof’? The integration of different mathematical cultures as experimental mathematics comes of age
Sørensen, Henrik Kragh, 2016, Mathematical Cultures. The London Meetings 2012–2014. Larvor, B. (ed.). Birkhäuser Verlag, p. 139-160Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- 2015
Danske matematikeres hjælp til flygtninge fra nazismen
Sørensen, Henrik Kragh, 2015, Nazismen, universiteterne og videnskaben i Danmark. Olsen, N., Lammers, K. C. & Roslyng-Jensen, P. (eds.). København: Museum Tusculanum, p. 213-242 (Danish Humanist Texts and Studies, Vol. 51).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Formal proof and exploratory experimentation: A Lakatosian view on the interplay between examples and deductive proof practices in upper-secondary school
Misfeldt, M., Danielsen, K. & Sørensen, Henrik Kragh, 2015, History and Epistemology in Mathematics Education. Proceedings of the Seventh European Summer University. Danish School of Education, Aarhus University, p. 433-446Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Using authentic sources in teaching logistic growth: A narrative design perspective
Danielsen, K. & Sørensen, Henrik Kragh, 2015, History and Epistemology in Mathematics Education. Proceedings of the Seventh European Summer University. Danish School of Education, Aarhus University, p. 499-510Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 2013
Er det matematiske bevis ved at dø ud?
Sørensen, Henrik Kragh, Sep 2013, Fremtiden. Høiris, O. (ed.). Aarhus: Aarhus Universitetsforlag, p. 99-132Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Gennem kaninhullet: Hvordan et menneskeskabt monster medvirkede til at matematikken blev moderne
Sørensen, Henrik Kragh, 2013, Matematiske mysterier: Historien, forklaringerne og løsningerne. Salomonsen, H. A. (ed.). Aarhus Universitetsforlag, p. 35-54 20 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- 2012
Reading Mittag-Leffler’s biography of Abel as an act of mathematical self-fashioning
Sørensen, Henrik Kragh, 2012, The History of the History of Mathematics. Wardhaugh, B. (ed.). Oxford etc.: Peter Lang, p. 115-144Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- 2010
Exploratory experimentation in experimental mathematics: A glimpse at the PSLQ algorithm
Sørensen, Henrik Kragh, 2010, PhiMSAMP. Philosophy of Mathematics: Sociological Aspects and Mathematical Practice. Löwe, B. & Müller, T. (eds.). London: College Publications, p. 341-360 20 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Relations between mathematics and theology: Theological aspects of the notion of infinity in the history of mathematics
Sørensen, Henrik Kragh, 2010, God — a Mathematician?. Kragh, H. & Vejrup Nielsen, M. (eds.). Århus: Forum Teologi Naturvidenskab, p. 27-70 (Proceedings of the DanishScience-Theology Forum, Vol. 5).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- 2009
Representations as means and ends: Representability and habituation in mathematical analysis during the first part of the nineteenth century
Sørensen, Henrik Kragh, 2009, New Perspectives on Mathematical Practices: Essays in Philosophy and History of Mathematics. Van Kerkhove, B. (ed.). New Jersey etc.: World Scientific, p. 114-137 23 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- 2008
Abel, Niels Henrik
Sørensen, Henrik Kragh, 2008, New Dictionary of Scientific Biography. Detroit etc.: Charles Scribner’s Sons, Vol. 1. p. 5-8 4 p.Research output: Chapter in Book/Report/Conference proceeding › Encyclopedia chapter › Research
- 2006
Matematik og statistik
Sørensen, Henrik Kragh, 2006, Dansk Naturvidenskabs Historie. Kjærgaard, P. C. (ed.). Aarhus Universitetsforlag, Vol. 3. p. 193-216 24 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Matematik, statistik og datalogi
Sørensen, Henrik Kragh, 2006, Dansk Naturvidenskabs Historie. Nielsen, H. & Hvidtfelt Nielsen, K. (eds.). Aarhus Universitetsforlag, Vol. 4. p. 105-124 20 p.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Niels Henrik Abel's Political and Professional Legacy in Norway
Sørensen, Henrik Kragh, 2006, Perspectives on Scandinavian Science in the Early Twentieth Century. Siegmund-Schultze, R. & Sørensen, H. K. (eds.). Oslo: Novus forlag, p. 197-219Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
ID: 164255954
Most downloads
-
144
downloads
Adapting practice-based philosophy of science to teaching of science students
Research output: Contribution to journal › Journal article › Research › peer-review
Published