8 found
Order:
  1.  3
    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 inspiration. Whereas the history of mathematics was initially quite influential, it is the history of technology that has become the dominant framework for doing history of computing since (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  29
    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 (9 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  28
    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   1 citation  
  4.  1
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5.  13
    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  
  6.  11
    Leonhard Eulers Wege Zur Zahlentheorie.Maarten Bullynck - 2010 - In Wladimir Velminski & Horst Bredekamp (eds.), Mathesis & Graphe: Leonhard Euler Und Die Entfaltung der Wissensysteme. Akademie Verlag. pp. 157-176.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  10
    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.
  8. Programming Men and Machines. Changing Organisation in the Artillery Computations at Aberdeen Proving Ground.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