Results for 'Henrik Kragh S��rensen'

994 found
Order:
  1.  14
    Reinhard Siegmund‐Schultze;, Henrik Kragh Sørensen . Perspectives on Scandinavian Science in the Early Twentieth Century. 352 pp., figs., tables, indexes. Oslo: Novus Forlag, 2006. €36. [REVIEW]Vidar Enebakk - 2008 - Isis 99 (2):434-435.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  33
    Volker R. Remmert; Martina R. Schneider; Henrik Kragh Sørensen . Historiography of Mathematics in the Nineteenth and Twentieth Centuries. x + 276 pp., figs., tables, index. Cham, Switzerland: Springer, 2016. $129. [REVIEW]Tom Archibald - 2018 - Isis 109 (2):370-372.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  23
    Volker R. Remmert, Martina R. Schneider and Henrik Kragh Sørensen , Historiography of Mathematics in the 19th and 20th Centuries. Cham: Birkhauser and Springer, 2016. Pp. 267. ISBN 978-3-319-39647-7. £89.50. [REVIEW]Michalis Sialaros - 2018 - British Journal for the History of Science 51 (1):165-167.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  7
    Rüdiger Campe, The Game of Probability: Literature and Calculation from Pascal to Kleist. Stanford: Stanford University Press, 2012. Pp. viii+486. ISBN 978-0-8047-6865-8. $35.00. [REVIEW]Laura Søvsø Thomasen & Henrik Kragh Sørensen - 2014 - British Journal for the History of Science 47 (4):727-728.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  64
    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  
  6. 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  
  7. 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  
  8. 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  
  9.  19
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  6
    ‘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. pp. 139-160.
  11.  14
    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  
  12.  13
    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  
  13.  2
    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  
  14.  12
    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 (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  3
    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.
  16.  17
    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  
  17.  21
    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  
  18.  36
    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  
  19.  4
    Perspectives on Scandinavian Science in the Early Twentieth Century - Edited by Reinhard Siegmund-Schultze; H. Kragh Sørensen.Annette Lykknes - 2007 - Centaurus 49 (3):253-254.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. Vedkommende videnskabsteori.Hanne Andersen, Louis Klostergaard, Henrik Knudsen, Helge Kragh, Keld Nielsen, Kurt Mã¸Ller Pedersen & Henrik Kragh Sã¸Rensen - 2009 - Aktuel Naturvidenskab (1):32--35.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  21.  3
    Shaping Mathematics as a Tool: The Search for a Mathematical Model for Quasi-crystals.Henrik Sørensen - 2017 - In Johannes Lenhard & Martin Carrier (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  
  22. Med Harald Sørensen på strejftog i Christen Kolds pædagogik.Harald Sørensen - 1977 - [København]: [eksp. DBK]. Edited by B. B. Lillelund.
  23.  18
    Evidensbaseret eller menigheden af «ikke-troende»? Tilsvar fra John Brodersen, Peter Laurs Sørensen, Fía Lindenskov og Lonny Henriksen.John Brodersen, Peter Laurs Sørensen, Fía Lindenskov & Lonny Henriksen - 2009 - Etikk I Praksis - Nordic Journal of Applied Ethics 1 (1):86-88.
    I sin udmærkede kommentar til vores artikel «En etisk diskussion af screening for kræftsygdomme» beskriver Geir Hoff den udtalte mangel på evidens vedrørende nytteværdien af screeningsprogrammer for kræftsygdomme baseret på randomiserede studier. Ydermere fremhæver Geir Hoff misforholdet mellem den manglende evidens ved screening og de strenge krav, der er til evidensen i den farmaceutiske industri. Dette er en velkommen kritik, pga. en udtalt ukritisk og uvidenskabelig tilgang til anvendelse af screening for denne eller hin sygdom eller risikofaktor.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24. Friedrich Nietzsche.Villy Sørensen - 1963 - København,: Gad.
     
    Export citation  
     
    Bookmark  
  25.  27
    ‘‘Is ‘Seeking God’s Help’ Associated with Life Satisfaction and Disease-specific Quality of Life in Cancer Patients? The HUNT Study.Torgeir Sørensen, Jostein Holmen, Sophie D. Fosså, Lars J. Danbolt, Lars Lien & Alv A. Dahl - 2012 - Archive for the Psychology of Religion 34 (2):191-213.
    This study investigates the prevalence of ‘Seeking God's Help’, its relation to time since diagnosis, and its association with Life Satisfaction for all cancer types. This study also investigates Disease-Specific Quality of Life for patients with breast, prostate, and colorectal cancers. Data were obtained from the third wave of the Nord-Trøndelag Health Study of Norway, with 2,086 cancer patients identified by the Cancer Registry of Norway and 6,258 cancer-free controls. Our results indicate a higher prevalence of ‘Seeking God's Help’ after (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  1
    Uden mål--og med.Villy Sørensen - 1973 - København,: Gyldendal.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  7
    Strong cut-elimination in sequent calculus using Klop's ι-translation and perpetual reductions.Heine Sørensen Morten & Urzyczyn Paweł - 2008 - Journal of Symbolic Logic 73 (3):919-932.
    There is a simple technique, due to Dragalin, for proving strong cut-elimination for intuitionistic sequent calculus, but the technique is constrained to certain choices of reduction rules, preventing equally natural alternatives. We consider such a natural, alternative set of reduction rules and show that the classical technique is inapplicable. Instead we develop another approach combining two of our favorite tools—Klop’s ι-translation and perpetual reductions. These tools are of independent interest and have proved useful in a variety of settings; it is (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  28. A Place of History: Archaeology and Heritage at Cidade Velha, Cape Verde.Marie Louise Stig Sørensen, Christopher Evans & Konstantin Richter - 2011 - In Slavery in Africa: Archaeology and Memory. pp. 421.
    No categories
     
    Export citation  
     
    Bookmark  
  29. Slavery in Africa: Archaeology and Memory.Stig Sørensen Marie Louise, Evans Christopher & Richter Konstantin - 2011
    No categories
     
    Export citation  
     
    Bookmark  
  30. SØRENSEN H. S. - "The Meaning of Proper Names". [REVIEW]P. F. Strawson - 1966 - Mind 75:304.
     
    Export citation  
     
    Bookmark  
  31. Knud Grue-Sørensen.Torstein Harbo - 1974 - Oslo : Aschehoug,: Edited by Anders Lysne & Lawrence Stenhouse.
     
    Export citation  
     
    Bookmark  
  32. Democratic negotiations of religion and politics.Anders Berg-Sørensen - 2008 - Krisis: Journal for Contemporary Philosophy 28 (1):30-34.
  33.  27
    Grue-Sørensen imellem filosofi og pædagogik.Hans Siggaard Jensen - 2018 - Studier i Pædagogisk Filosofi 7 (1):115-122.
    The philosophical situation at Copenhagen University in the 1960’s was dominated by two positivists. Th elogical positivist Jørgen Jørgensen – who had written the history of the “movement” – and the legal positivistAlf Ross. There were also two “outsiders”: Peter Zinkernagel, who did more analytical philosophy of language in the British style, and K. Grue Sørensen who was working in the traditions of neo-Kantianism. In 1955 Grue-Sørensen was hired as the first professor in education – after a long controversy about (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  21
    Dussel’s Critique of Discourse Ethics as Critique of Ideology.Asger Sørensen - 2010 - Public Reason 2 (2):84-101.
  35.  13
    Sørensen’s Bataille: Notes on the ‘apolitical’.Andrew Benjamin - 2021 - Filozofija I Društvo 32 (1):22-28.
    In Capitalism, Alienation and Critique, part of the development of Asger S?rensen?s overall argument is a disagreement with Georges Bataille. The crux of the argument is that Bataille?s thinking - especially his conception of subjectivity - is?apolitical?. The aim of this paper is to investigate the force of this claim. What does it mean for a position - albeit a philosophical one - to be?apolitical??
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36. Not Work, but Alienation and Education. Bildung in Hegel’s Phenomenology.Asger Sørensen - 2015 - Hegel Studien 49:57-88.
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  37. Koldau sætter fingeren på et ømt punkt.Asger Sørensen - 2012 - Information:19--19.
    No categories
     
    Export citation  
     
    Bookmark  
  38.  54
    Capitalism, Alienation and Critique: Studies in Economy and Dialectics.Asger Sørensen - 2019 - Boston, Massachusetts, USA: Brill. Edited by Lisbet Rosenfeldt Svanøe.
    In Capitalism, Alienation and Critique Asger Sørensen offers a wide-ranging argument for the classical Critical Theory of the Frankfurt School, thus endorsing the dialectical approach of the original founders (Horkheimer, Adorno, Marcuse) and criticizing suggested revisions of later generations (Habermas, Honneth). Being situated within the horizon of the late 20th century Cultural Marxism, the main issue is the critique of capitalism, emphasizing experiences of injustice, ideology and alienation, and in particular exploring two fundamental subject matters within this horizon, namely economy (...)
  39.  8
    Grue-Sørensen og psykologien.Hans Vejleskov - 2018 - Studier i Pædagogisk Filosofi 7 (1):35-45.
    As a primary school teacher in Copenhagen, and, simultaneously, as a student of philosophy at The Universityof Copenhagen, Grue-Sörensen became so well acquainted with contemporary psychology that he, in theyears 1941-55, worked as a school psychologist in Copenhagen. Furthermore, from 1934 until 1955, he published 22 articles or chapters about psychological issues. The present contribution presents and characterizes the 22 publications categorized in works about developmental psychology, and works about central psychological issues – motivation, learning, and cognition. In the last (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  13
    Asger Sørensen, Capitalism, Alienation and Critique: Studies in Economy and Dialectics.Stefan Gandler & Karla Sánchez Félix - 2022 - Danish Yearbook of Philosophy 56 (1):102-103.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  40
    States are Not "Like Units": Types of State and Forms of Anarchy in the Present International System.George Sørensen - 1998 - Journal of Political Philosophy 6 (1):79-98.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42. Responsibility for what? Fairness and individual responsibility.A. Cappelen, E. Sørensen & B. Tungodden - manuscript
  43.  14
    Om Grue-Sørensen og begrebet ’opdragende undervisning’ som almenpædagogisk kategori.Frederik Pio - 2018 - Studier i Pædagogisk Filosofi 7 (1):99-114.
    Grue-Sørensen’s concept of ’educational teaching’ is traced back to an original infl uence from Herbart and Kant. On this background the article attempts to interpret, how one can understand a concept of educationalteaching today. With that, the concept is shown to have its root in a tradition of general education and Grue-Sørensen is shown to be a Danish representative of this. However, in research programs as well as educational programs this tradition has generally been under increasing pressure the last approximately (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  23
    Øystein Sørensen: Drømmen om det fullkomne samfunn. Fire totalitaere ideologier – én totalitaer mentalitet?Anders G. Kjøstvedt - 2012 - Zeitschrift für Religions- Und Geistesgeschichte 64 (1):96-98.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45.  11
    That Raw and Ancient Cold: On Graham Harman’s Recasting of Archaeology.Tim Flohr Sørensen - 2021 - Open Philosophy 4 (1):1-19.
    This is a comment to Graham Harman’s 2019 response to an article by Þóra Pétursdóttir and Bjørnar Olsen (2018) in which they propose that a materially grounded, archaeological perspective might complement Harman’s historical approach in Immaterialism (2016). Harman responds that his book is indeed already more archaeological than historical, stipulating that history is the study of media with a high density of information, whereas archaeology studies media with a low density of information. History, Harman holds, ends up in too much (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  55
    Lectures on the Curry-Howard isomorphism.Morten Heine Sørensen - 2007 - Boston: Elsevier. Edited by Paweł Urzyczyn.
    The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc. The isomorphism has many aspects, even at the syntactic level: formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization corresponds to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   25 citations  
  47.  12
    Charles S. Peirce’s sign typology of 1903 and the semeiotic of universe, man, and culture.Bent Sørensen, Torkild Thellefsen, Martin Thellefsen & Amalia Nurma Dewi - 2019 - Semiotica 2019 (228):287-300.
    Journal Name: Semiotica Issue: Ahead of print.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  29
    Tre pointer fra Grue-Sørensen til nutidens pædagogik.Per Fibæk Laursen - 2018 - Studier i Pædagogisk Filosofi 7 (1):13-22.
    When K. Grue-Sørensen became a professor of pedagogy at the University of Copenhagen in 1955, he was inline with the dominant historical-hermeneutical approach to humanities. From the late 1960s until retirementin 1974, his approach was challenged by both technical and critical alternatives. Both these alternative havesince grown steadily, while the historical-hermeneutical view has been in the defensive. But Grue-Sørensenand the tradition he represented have three signifi cant points for today’s pedagogy, whether it is technicalor critical: pedagogy can and should not (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  4
    Soldiers of God in a secular world: Catholic theology and twentieth-century French politics.Anders Berg-Sørensen - 2023 - Contemporary Political Theory 22 (4):145-148.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  22
    Democracy and goodness: A historicist political theory.Anders Berg-Sørensen - 2020 - Contemporary Political Theory 19 (S4):235-238.
1 — 50 / 994