%0 Generic %D 2011 %T Looking for busy beavers. A socio-philosophical study of a computer-assisted proof %A De Mol, Liesbeth %E François, Karen %E Löwe, Benedikt %E Müller, Thomas %E Van Kerkhove, Bart %X

"Young man, in mathematics you don't understand things, you just get used to them" John von Neumann

%B Foundations of the Formal Sciences %I College Publications %P 61–90 %G eng