De Mol Liesbeth

Chercheur
CNRS
Equipe de recherche principale: 
Laboratoire Savoir, Textes, Langage (STL)
Adresse électronique: 
liesbeth.de-mol [at] univ-lille.fr
Page web personnelle: 
http://stl.recherche.univ-lille3.fr/sitespersonnels/DeMol/index.html
Publications: 
  • (avec M. Carlé, M. Bullynck), Haskell before Haskell. An alternative lesson in practical logics of the ENIAC, Journal of Logic and Computation (sous presse, 42 pages)
  • (avec E. Daylight et M. Bullynck), (avec E. Daylight et M. Bullynck) Why Did Computer Science Make a Hero out of Turing?, Communications of the ACM, vol. 58, nr. 3, pp. 37–39
  • Some reflections on mathematics and its relation to computer science, Andrew Adamatzky (ed.), Automata, universality, computation. Tribute to Maurice Margenstern, Series Emergence, Complexity and Computation, vol. 12, Springer, 2015, pp. 75–101.
  • The proof is in the process. A preamble for a philosophy of computer-assisted mathematics, M.C. Galavotti, D. Dieks, et al (eds.), New directions in the Philosophy of Science, series The Philosophy of Science in a European Perspective, vol. 5, Springer, 2014, pp. 15-34
  • Generating, solving and the mathematics of Homo Sapiens. Emil Post’s views on computation, in: H. Zenil (ed.), A computable universe. Understanding Computation & Exploring Nature As Computation, World Scientific Press, pp. 45–62, 2013.
  • How to talk with a computer? An essay on Computability and Man-Computer conversations, S. Stallschus, S. Schönberg, C. König (eds.), Off Topic: Ubersetzen. Zeitschrift für Medienkunst der KHM, 2008, pp. 80-89.
Thèmes de recherche: 
Histoire de l'informatique
Histoire de l'instrumentation et des instruments scientifiques
Histoire des mathématiques
Histoire de la logique
Philosophie de l'informatique
Philosophie des mathématiques
Épistémologie
Périodes et zones géographiques d'intérêt: 
Contemporaine
XXe siècle
Type d'approche: 
Epistémologique et philosophique
Histoire conceptuelle
Implication dans des programmes et projets: 

Projet JCJC ANR PROGRAMme, Qu'est-ce qu'un programme informatique. Perspectives historiques et philosophiques// What is a (computer) program? HIstorical and philosophical perspectives, PI, https://programme.hypotheses.org/