16 found
Order:
Disambiguations
Henrik Kragh Sørensen [15]Henrik Sørensen [1]
See also
Henrik Kragh Sørensen
University of Copenhagen
  1.  25
    Adapting practice-based philosophy of science to teaching of science students.Sara Green, Hanne Andersen, Kristian Danielsen, Claus Emmeche, Christian Joas, Mikkel Willum Johansen, Caio Nagayoshi, Joeri Witteveen & Henrik Kragh Sørensen - 2021 - European Journal for Philosophy of Science 11 (3):1-18.
    The “practice turn” in philosophy of science has strengthened the connections between philosophy and scientific practice. Apart from reinvigorating philosophy of science, this also increases the relevance of philosophical research for science, society, and science education. In this paper, we reflect on our extensive experience with teaching mandatory philosophy of science courses to science students from a range of programs at University of Copenhagen. We highlight some of the lessons we have learned in making philosophy of science “fit for teaching” (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  27
    Mathematicians writing for mathematicians.Line Edslev Andersen, Mikkel Willum Johansen & Henrik Kragh Sørensen - 2019 - Synthese 198 (Suppl 26):6233-6250.
    We present a case study of how mathematicians write for mathematicians. We have conducted interviews with two research mathematicians, the talented PhD student Adam and his experienced supervisor Thomas, about a research paper they wrote together. Over the course of 2 years, Adam and Thomas revised Adam’s very detailed first draft. At the beginning of this collaboration, Adam was very knowledgeable about the subject of the paper and had good presentational skills but, as a new PhD student, did not yet (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3.  47
    The role of testimony in mathematics.Line Edslev Andersen, Hanne Andersen & Henrik Kragh Sørensen - 2020 - Synthese 199 (1-2):859-870.
    Mathematicians appear to have quite high standards for when they will rely on testimony. Many mathematicians require that a number of experts testify that they have checked the proof of a result p before they will rely on p in their own proofs without checking the proof of p. We examine why this is. We argue that for each expert who testifies that she has checked the proof of p and found no errors, the likelihood that the proof contains no (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  72
    Exploratory experimentation in experimental mathematics: A glimpse at the PSLQ algorithm.Henrik Kragh Sørensen - 2010 - In Benedikt Löwe & Thomas Müller (eds.), PhiMSAMP. Philosophy of Mathematics: Sociological Aspects and Mathematical Practice. College Publications. pp. 341--360.
    In the present paper, I go beyond these examples by bringing into play an example that I nd more experimental in nature, namely that of the use of the so-called PSLQ algorithm in researching integer relations between numerical constants. It is the purpose of this paper to combine a historical presentation with a preliminary exploration of some philosophical aspects of the notion of experiment in experimental mathematics. This dual goal will be sought by analysing these aspects as they are presented (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  7
    What is an experiment in mathematical practice? New evidence from mining the Mathematical Reviews.Henrik Kragh Sørensen, Sophie Kjeldbjerg Mathiasen & Mikkel Willum Johansen - 2024 - Synthese 203 (2):1-21.
    From a purely formalist viewpoint on the philosophy of mathematics, experiments cannot (and should not) play a role in warranting mathematical statements but must be confined to heuristics. Yet, due to the incorporation of new mathematical methods such as computer-assisted experimentation in mathematical practice, experiments are now conducted and used in a much broader range of epistemic practices such as concept formation, validation, and communication. In this article, we combine corpus studies and qualitative analyses to assess and categorize the epistemic (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  3
    Shaping Mathematics as a Tool: The Search for a Mathematical Model for Quasi-crystals.Henrik Sørensen - 2017 - In Martin Carrier & Johannes Lenhard (eds.), Mathematics as a Tool: Tracing New Roles of Mathematics in the Sciences. Springer Verlag. pp. 69-90.
    Although the use of mathematical models is ubiquitous in modern science, the involvement of mathematical modeling in the sciences is rarely seen as cases of interdisciplinary research. Often, mathematics is “applied” in the sciences, but mathematics also features in open-ended, truly interdisciplinary collaborations. The present paper addresses the role of mathematical models in the open-ended process of conceptualizing new phenomena. It does so by suggesting a notion of cultures of mathematization, stressing the potential role of the mathematical model as a (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Experimental mathematics in the 1990s: A second loss of certainty?Henrik Kragh Sørensen - 2010 - Oberwolfach Reports (12):601--604.
    In this paper, I describe some aspects of the phenomenon of "experimental mathematics" in order to discuss whether it constitutes a subdiscipline or a particular style of mathematics. My conclusion is that neither of these notions accurately capture the complex culture of experimental mathematics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  22
    Abel and his mathematics in contexts.Henrik Kragh Sørensen - 2002 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 10 (1-3):137-155.
    200 years ago, on August 5, 1802, Niels Henrik Abel was born on Finnøy near Stavanger on the Norwegian west coast. During a short life span, Abel contributed to a deep transition in mathematics in which concepts replaced formulae as the basic objects of mathematics. The transformation of mathematics in the 1820s and its manifestation in Abel’s works are the themes of the author’s PhD thesis. After sketching the formative instances in Abel’s well-known biography, this article illustrates two aspects of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  8
    Cultivating the Herb Garden of Scandinavian Mathematics: The Congresses of Scandinavian Mathematicians, 1909-1925.Laura E. Turner & Henrik Kragh Sørensen - 2013 - Centaurus 55 (4):385-411.
  10. Making Philosophy of Science Relevant for Science Students.Henrik Kragh Sørensen - 2012 - Centre for Science Studies, University of Aarhus.
    Since 2004, it has been mandated by law that all Danish undergraduate university programmes have to include a compulsory course on the philosophy of science for that particular program. At the Faculty of Science and Technology, Aarhus University, the responsibility for designing and running such courses were given to the Centre for Science Studies, where a series of courses were developed aiming at the various bachelor educations of the Faculty. Since 2005, the Centre has been running a dozen different courses (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  14
    In Honour of Kirsti Andersen.Jesper Lützen & Henrik Kragh Sørensen - 2010 - Centaurus 52 (1):1-3.
    During the first half of the nineteenth century, mathematical analysis underwent a transition from a predominantly formula-centred practice to a more concept-centred one. Central to this development was the reorientation of analysis originating in Augustin-Louis Cauchy's (1789–1857) treatment of infinite series in his Cours d’analyse. In this work, Cauchy set out to rigorize analysis, thereby critically examining and reproving central analytical results. One of Cauchy's first and most ardent followers was the Norwegian Niels Henrik Abel (1802–1829) who vowed to shed (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  11
    ‘The End of Proof’? The integration of different mathematical cultures as experimental mathematics comes of age.Henrik Kragh Sørensen - 2016 - In Brendan Larvor (ed.), Mathematical Cultures: The London Meetings 2012-2014. Springer International Publishing. pp. 139-160.
  13. Teaching reader engagement as an aspect of proof.Henrik Kragh Sørensen, Kristian Danielsen & Line Edslev Andersen - 2019 - ZDM 51 (5):835-844.
    No categories
     
    Export citation  
     
    Bookmark  
  14.  15
    David Aubin and Catherine Goldstein , The War of Guns and Mathematics: Mathematical Practice and Communities in France and Its Western Allies around World War I. Providence, RI: American Mathematical Society, 2014. Pp. xviii + 391. ISBN 978-1-4704-1469-6. $126.00. [REVIEW]Henrik Kragh Sørensen - 2017 - British Journal for the History of Science 50 (3):557-558.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  16
    Mathematics Unbound: The Evolution of an International Mathematical Research Community, 1800?1945 - Edited by Karen H. Parshall and Adrian C. Rice. [REVIEW]Henrik Kragh Sørensen - 2007 - Centaurus 49 (2):179-181.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  6
    Patrick Popescu-Pampu. What Is the Genus? xvii + 184 pp., figs., bibl., index. Cham, Switzerland: Springer, 2016. $59.99. [REVIEW]Henrik Kragh Sørensen - 2018 - Isis 109 (2):367-368.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark