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⟩