Liesbeth De Mol (demol-l)

My contributions to Philosophie.ch

Bibliography

De Mol, Liesbeth. 2006. “Closing the Circle: An Analysis of Post’s Early Work.” The Bulletin of Symbolic Logic 12(2): 267–289.
De Mol, Liesbeth. 2014. “The Proof Is in the Process: A Preamble for a Philosophy of Computer-Assisted Mathematics.” in New Directions in the Philosophy of Science, edited by Maria Carla Galavotti, Dennis Dieks, Wenceslao J. González, Stephan Hartmann, Thomas E. Uebel, and Marcel Weber, pp. 15–34. The Philosophy of Science in a European Perspective n. 5. Cham: Springer.
De Mol, Liesbeth. 2018. “Turing Machines.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2018/entries/turing-machine/.