Liesbeth De Mol. Looking for busy beavers. A socio-philosophical study of a computer-assisted proof. In Karen Francois, Benedikt Löwe, Thomas Müller 0007, Bart Van Kerkhove, editors, Bringing together Philosophy and Sociology of Science, Papers of the conference "Foundations of the Formal Sciences VII", Brussels, Belgium, October 21-24, 2008. Volume 32 of Studies in Logic, pages 61-90, College Publications, 2008.
@inproceedings{Mol08-1,
title = {Looking for busy beavers. A socio-philosophical study of a computer-assisted proof},
author = {Liesbeth De Mol},
year = {2008},
researchr = {https://researchr.org/publication/Mol08-1},
cites = {0},
citedby = {0},
pages = {61-90},
booktitle = {Bringing together Philosophy and Sociology of Science, Papers of the conference "Foundations of the Formal Sciences VII", Brussels, Belgium, October 21-24, 2008},
editor = {Karen Francois and Benedikt Löwe and Thomas Müller 0007 and Bart Van Kerkhove},
volume = {32},
series = {Studies in Logic},
publisher = {College Publications},
isbn = {978-1-84890-049-3},
}