Dr. Liesbeth De Mol
Chercheur CNRS (Université de Lille)
Recent publications
De Mol, Liesbeth. 2014. “The Proof Is In The Process: A Preamble For A Philosophy Of Computer-Assisted Mathematics” Maria Carla Galavotti, Dieks, Dennis, Gonzalez, Wenceslao J, Hartmann, Stephan, Uebel, Thomas, and Weber, Marcel. New Directions in the Philosophy of Science 5: 15–33.
De Mol, Liesbeth. 2013. “Generating, Solving And The Mathematics Of Homo Sapiens. Emil PostS Views On Computation” H. Zenil. A Computable Universe: Understanding and Exploring Nature as Computation: 45–62.
De Mol, Liesbeth. 2012. “Reasoning With Computer-Assisted Experiments In Mathematics” Giuseppe Primiero and Allo, Patrick. Third Workshop in the Philosophy of Information: 80-92.
De Mol, Liesbeth, and Maarten Bullynck. 2012. The Turing Centenary Conference CiE 2012: How the World Computes A Short History Of Small Machines.
De Mol, Liesbeth, and Giuseppe Primiero. 2012. “Report 'international Conference On History And Philosophy Of Computing' (Hapoc)”. The Reasoner 6: 7-8.