Liesbeth De Mol

Chargée de recherche epst - Chercheur CNRS - épistémologie, histoire et philosophie de l'informatique, mathématiques et logique
liesbeth_de_mol.jpg

Liesbeth De Mol

Chargée de recherche epst - Chercheur CNRS - épistémologie, histoire et philosophie de l'informatique, mathématiques et logique

Publications

Article dans des revues

  • Liesbeth de Mol, Maarten Bullynck. Roots of program revisited. Communications of the ACM, Association for Computing Machinery, 2021. ⟨hal-03287324⟩
  • Liesbeth de Mol. Om absolutely unsolvable problems, a reply to Ally Jackson. Inference: International Review of Science, 2019, 4 (3). ⟨hal-02087875⟩
  • Liesbeth de Mol. `A pretence of what is not'? A study of simulation(s) from the ENIAC perspective.. NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin, Springer Verlag, 2019. ⟨hal-01807956⟩
  • Liesbeth de Mol, Maarten Bullynck, Marie-José Durand-Richard. Mathématiques et machines. Revue de Synthèse, Springer Verlag/Lavoisier, 2018, 139 (3-4), pp.235-239. ⟨10.1163/19552343-13900012⟩. ⟨hal-02389129⟩
  • Liesbeth de Mol, Maarten Bullynck, Edgar G. Daylight. Less is more in the Fifties. Encounters between Logical Minimalism and Computer Design during the 1950s. IEEE Annals of the History of Computing, Institute of Electrical and Electronics Engineers, 2018. ⟨hal-01345592v3⟩
  • Liesbeth de Mol, Maarten Bullynck. Making the history of computing. The history of computing in the history of technology and the history of mathematics.. Revue de Synthèse, Springer Verlag/Lavoisier, 2018. ⟨hal-01814822⟩
  • 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⟩
  • Maarten Bullynck, Edgar G. Daylight, Liesbeth de Mol. Why did computer science make a hero out of Turing?. Communications of the ACM, Association for Computing Machinery, 2015, 58 (3), pp.37-39. ⟨10.1145/2658985⟩. ⟨hal-01396456⟩
  • 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 (4), pp.1011-1046. ⟨10.1093/logcom/exs072⟩. ⟨hal-01396482⟩
  • 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⟩
  • 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⟩
  • 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. 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⟩

Communication dans un congrès

  • Liesbeth de Mol. What is a computer program? Historical and philosophical reflections. CODEMESHS 2019, Nov 2019, Londres, United Kingdom. ⟨hal-03287397⟩
  • Liesbeth de Mol. “'Tis but thy name that is my enemy”. Some reflections on the art and science views on and in the history of programming.. Society for the History of Technology, Oct 2019, Milano, Italy. ⟨hal-03287418⟩

Chapitre d'ouvrage

  • Liesbeth de Mol, Giuseppe Primiero. Programming systems: in search for historical and philosophical foundations. Reflections on Programming Systems. Historical and Philosophical Aspects, Springer, 2019. ⟨hal-01674676⟩
  • Liesbeth de Mol. Formalism. The Success(es) of a Failure. Soyons Logiques/Let's be logical, 2016. ⟨hal-01396841⟩
  • Liesbeth de Mol. Some reflections on mathematics and its relation to computer science. Andrew Adamatzky. Automata, Universality, Computation. A tribute to Maurice Margenstern, Springer, pp.75-102, 2015. ⟨hal-00988581⟩
  • 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⟩

Direction d'ouvrage, Proceedings

  • Liesbeth de Mol, Andreas Weiermann, Florin Manea, David Fernández Duque. Connecting with Computability: 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings. Lecture Notes in Computer Science, 12813, 2021. ⟨hal-03287309⟩
  • Liesbeth de Mol, Giuseppe Primiero. Reflections on Programming Systems. Historical and Philosophical Aspects. Springer, 2019, ⟨10.1007/978-3-319-97226-8⟩. ⟨hal-02087884⟩
  • Liesbeth de Mol, Maarten Bullynck, Marie-José Durand-Richard. Mathématiques et Machines. 2019. ⟨hal-02389134⟩

Autre publication

  • Liesbeth de Mol, Giuseppe Primiero. What is a program? Historical and Philosophical pespectives. 2018. ⟨hal-01814847⟩
  • Liesbeth de Mol. Turing machines. Stanford Encyclopedia of Philosophy, 2018. ⟨hal-02087865⟩

Pré-publication, Document de travail

  • Ksenia Tatarchenko, Anya Yermakova, Liesbeth de Mol. Russian Logics and the Culture of Impossible: PART I, Recovering Intelligentsia Logics. 2021. ⟨hal-03081260⟩
  • Ksenia Tatarchenko, Anya Yermakova, Liesbeth de Mol. Russian Logics and the Culture of Impossible: PART II, Reinterpreting Algorithmic Rationality. 2021. ⟨hal-03328539⟩
  • Liesbeth de Mol. Programmed Mathematics. 2021. ⟨hal-03081289⟩
  • Liesbeth de Mol. Expérience(s) du temps en informatique. 2016. ⟨hal-01359449⟩
  • Liesbeth de Mol. Some thoughts on the historicity of software. 2016. ⟨hal-01357886⟩
  • Liesbeth de Mol. How to talk with a computer? An essay on Human-Computer conversations continued. 2016. ⟨hal-01305968⟩

Rapport

  • Liesbeth de Mol, Maarten Bullynck, Julian Rohrhuber. SESSION REPORT Symposium Ethical, Legal and Political issues of Computing (ELPIC). [Research Report] CIPSH Unesco. 2017. ⟨hal-02187291⟩

Cours

  • 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⟩
  • 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⟩