5 found
Order:
  1.  84
    Facing Computing as Technique: Towards a History and Philosophy of Computing.Liesbeth De Mol & Giuseppe Primiero - 2014 - Philosophy and Technology 27 (3):321-326.
    We present the methodological principles underlying the scientific activities of the DHST Commission on the History and Philosophy of Computing. This volume collects refereed selected papers from the First International Conference organized by the Commission.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  70
    When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science.Liesbeth De Mol & Giuseppe Primiero - 2015 - History and Philosophy of Logic 36 (3):195-204.
  3.  25
    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   1 citation  
  4.  31
    Closing the Circle: An Analysis of Emil Post's Early Work.Liesbeth de Mol - 2006 - Bulletin of Symbolic Logic 12 (2):267-289.
    In 1931 Kurt Gödel published his incompleteness results, and some years later Church and Turing showed that the decision problem for certain systems of symbolic logic has a negative solution. However, already in 1921 the young logician Emil Post worked on similar problems which resulted in what he called an “anticipation” of these results. For several reasons though he did not submit these results to a journal until 1941. This failure ‘to be the first’, did not discourage him: his contributions (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  5.  1
    Reflections on Programming Systems.Giuseppe Primiero & Liesbeth De Mol (eds.) - 2018 - Springer Verlag.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark