Nombre de documents


CV de Liesbeth De Mol

Chapitre d'ouvrage4 documents

  • Liesbeth De Mol. Formalism. The Success(es) of a Failure. Soyons Logiques/Let's be logical, 2016. <hal-01396841>
  • Liesbeth De Mol. Generating, solving and the mathematics of Homo Sapiens. Emil Post's views on computation. Hector Zenil. A computable universe. Understanding Computation and Exploring Nature As Computation, World Scientific, 2013, 978-981-4374-29-3 <>. <hal-01396500>
  • Liesbeth De Mol. Looking for Busy Beavers. A socio-philosophical study of a computer-assisted proof. Karen Francois, Benedikt Löwe, Thomas Müller, et Bart van Kerkhove. Foundations of The Formal Sciences VII. Bringing together Philosophy and Sociology of Science, 32, College Publications, pp.61-90, 2012, Studies in logic, 978-1-84890-049-3. <>. <hal-01396523>
  • Liesbeth De Mol. Doing Mathematics on the ENIAC. Von Neumann’s and Lehmer’s different visions.. Logos Verlag. Mathematical Practice & Development throughout History. Proceedings of the 18th Novembertagung on the History, Philosophy and Didactics of Mathematics , pp.149--186, 2009, <>. <hal-01396411>

Pré-publication, Document de travail4 documents

  • Liesbeth De Mol. Some thoughts on the historicity of software. 2016. <hal-01357886>
  • Liesbeth De Mol, Maarten Bullynck, Edgar G. Daylight. A short history of small machines. 2016. <hal-01345592>
  • Liesbeth De Mol. Expérience(s) du temps en informatique. 2016. <hal-01359449>
  • Liesbeth De Mol. How to talk with a computer? An essay on Human-Computer conversations continued. 2016. <hal-01305968>

Cours3 documents

  • Liesbeth De Mol. Roundtable discussion: "What does the history of IT have to say to media studies and computer science?". Doctoral. Siegen, Germany. 2016. <cel-01345596>
  • Liesbeth De Mol. " Beyond " Turing computability: a historical perspective. Doctoral. Belgium. 2016. <cel-01345597>
  • Liesbeth De Mol. Code source sans code: le cas de l'ENIAC. . Doctorat. France. 2016. <cel-01345599>

Article dans une revue9 documents

  • Liesbeth De Mol, Giuseppe Primiero. Facing Computing as Technique: Towards a history and philosophy of computing. Knowledge, Technology and Policy, Springer Verlag, 2016, 27 (3), pp.321-326. <10.1007/s13347-014-0169-4>. <hal-01356336>
  • Liesbeth De Mol, Martin Carlé, Maarten Bullynck. Haskell before Haskell. An alternative lesson in practical logics of the ENIAC.. Journal of Logic and Computation, Oxford University Press (OUP), 2015, 25 (195--204). <hal-01396482>
  • Maarten Bullynck, Edgar G. Daylight, Liesbeth De Mol. Why did computer science make a hero out of Turing. Communications of the ACM, 2015, 58 (3), pp.37-39. <10.1145/2658985>. <hal-01396456>
  • Liesbeth De Mol, Giuseppe Primiero. When logic meets engineering: introduction to logical issues in the history and philosophy of computer science. History and Philosophy of Logic, Taylor & Francis, 2015, 36 (3), pp.195-204. <10.1080/01445340.2015.1084183>. <hal-01358879>
  • Liesbeth De Mol. On the complex behavior of simple tag systems: An experimental approach. Theoretical Computer Science, Elsevier, 2011, 412 (1-2), pp.97-112. <10.1016/j.tcs.2010.08.026>. <hal-01396517>
  • Maarten Bullynck, Liesbeth De Mol. Setting-up early computer programs: D. H. Lehmer’s ENIAC computation. Archive for Mathematical Logic, Springer Verlag, 2010, 49, pp.123-146. <hal-01396497>
  • Liesbeth De Mol. Solvability of the halting and reachability problem for binary 2-tag systems. Fundamenta Informaticae XX, 2010, 99 (4), pp.435-471. <10.3233/FI-2010-257>. <hal-01396536>
  • Liesbeth De Mol, Maarten Bullynck, Martin Carlé. Haskell before Haskell. Curry’s contribution to programming (1946–1950). Lectures Notes in Computer Science (LNCS), 2010, Programs, Proofs, Processes. Sixth Conference on Computability in Europe, 6158. <hal-01396489>
  • Liesbeth De Mol, Maarten Bullynck. A Week-End Off: The First Extensive Number-Theoretical Computation on the ENIAC. Lecture notes in computer science, springer, 2008, 5028, pp.158-167. <10.1007/978-3-540-69407-6_19>. <hal-01396832>

Rapport1 document

  • Liesbeth De Mol. Some reflections on mathematics and its relation to computer science. 2014. <hal-00988581>