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.
Abstract is missing.