10 found
Order:
  1.  10
    Setting-up early computer programs: D. H. Lehmer’s ENIAC computation.Maarten Bullynck & Liesbeth Mol - 2010 - Archive for Mathematical Logic 49 (2):123-146.
    A complete reconstruction of Lehmer’s ENIAC set-up for computing the exponents of p modulo two is given. This program served as an early test program for the ENIAC (1946). The reconstruction illustrates the difficulties of early programmers to find a way between a man operated and a machine operated computation. These difficulties concern both the content level (the algorithm) and the formal level (the logic of sequencing operations).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  43
    Erhard Weigel’s Contributions to the Formation of Symbolic Logic.Maarten Bullynck - 2013 - History and Philosophy of Logic 34 (1):25-34.
    The aspects of Erhard Weigel's Analysis Aristotelica ex Euclide restituta that foreshadowed and helped form some characteristics of symbolic logic are highlighted: first, the idea of a pure form of a logical syllogism or of a mathematical proof and, second, a tentative arithmetisation of some aspects of logic. Also, Weigel's emphasis on the role of symbols and figures in the process of mathematical proof is discussed.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  32
    Making the History of Computing. The History of Computing in the History of Technology and the History of Mathematics.Liesbeth De Mol & Maarten Bullynck - 2018 - Revue de Synthèse 139 (3-4):361-380.
    A history of writing the history of computing is presented in its relationship to the history of mathematics. As with many historiographies, the initial history of computing was very much an internalistic history. In the late 1970s, the field became more serious and started looking at the histories of mathematics and technology for (methodological) inspiration. Whereas the history of mathematics was initially quite influential, it is the history of technology (in its U.S. form) that has become the dominant framework for (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  21
    Johann Heinrich Lambert's Scientific Tool Kit, Exemplified by His Measurement of Humidity, 1769–1772.Maarten Bullynck - 2010 - Science in Context 23 (1):65-89.
    ArgumentJohann Heinrich Lambert (1728–1777) developed a very detailed theory of science and experiment. Using Lambert's hygrometric studies, this article provides an introduction to Lambert's theory and its practice. Of special interest is his well-founded theory on the emergence and definition of concepts and his neat eye for heuristics that should ultimately lead to a mathematization of physical phenomena. His use of visualizations in this context is especially remarkable.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  16
    Leonhard eulers wege zur zahlentheorie.Maarten Bullynck - 2010 - In Horst Bredekamp & Wladimir Velminski (eds.), Mathesis & Graphe: Leonhard Euler Und Die Entfaltung der Wissensysteme. Akademie Verlag. pp. 157-176.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  24
    Programming Primes : A Paradigmatic Program and Its Incarnations in the Age of Structured Programming.Maarten Bullynck - 2015 - History and Philosophy of Logic 36 (3):229-241.
    In response to the so-called ‘software crisis’ of the late 1960s, many approaches were proposed to turn software engineering and programming into more systematic disciplines, to turn an art into a science. This paper studies one popular example often used in these proposals, the computation of a list of primes, to discuss some salient features of the proposed programming paradigms. It also looks at the actual implementation in the early 1970s of the prime program on a time-sharing system and on (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7.  18
    Reading Gauss in the Computer Age: On the U.S. Reception of Gauss’s Number Theoretical Work (1938–1989).Maarten Bullynck - 2009 - Archive for History of Exact Sciences 63 (5):553-580.
    C.F Gauss’s computational work in number theory attracted renewed interest in the twentieth century due to, on the one hand, the edition of Gauss’s Werke, and, on the other hand, the birth of the digital electronic computer. The involvement of the U.S. American mathematicians Derrick Henry Lehmer and Daniel Shanks with Gauss’s work is analysed, especially their continuation of work on topics as arccotangents, factors of n2 + a2, composition of binary quadratic forms. In general, this strand in Gauss’s reception (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  20
    Mathématiques et machines.Liesbeth De Mol, Maarten Bullynck & Marie-José Durand-Richard - 2018 - Revue de Synthèse 139 (3-4):235-239.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  54
    Setting-up early computer programs: D. H. Lehmer’s ENIAC computation. [REVIEW]Maarten Bullynck & Liesbeth De Mol - 2010 - Archive for Mathematical Logic 49 (2):123-146.
    A complete reconstruction of Lehmer’s ENIAC set-up for computing the exponents of p modulo two is given. This program served as an early test program for the ENIAC (1946). The reconstruction illustrates the difficulties of early programmers to find a way between a man operated and a machine operated computation. These difficulties concern both the content level (the algorithm) and the formal level (the logic of sequencing operations).
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  11
    Programming Men and Machines. Changing Organisation in the Artillery Computations at Aberdeen Proving Ground (1916-1946). [REVIEW]Maarten Bullynck - 2018 - Revue de Synthèse 139 (3-4):241-266.
    After the First World War mathematics and the organisation of ballistic computations at Aberdeen Proving Ground changed considerably. This was the basis for the development of a number of computing aids that were constructed and used during the years 1920 to 1950. This article looks how the computational organisation forms and changes the instruments of calculation. After the differential analyzer relay-based machines were built by Bell Labs and, finally, the ENIAC, one of the first electronic computers, was built, to satisfy (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation