@incollection {1998274, title = {On the curious historical coincidence of algebra and double-entry bookkeeping}, booktitle = {Foundations of the formal sciences VII : bringing together philosophy and sociology of science}, series = {Studies in Logic}, volume = {32}, year = {2011}, pages = {109{\textendash}130}, publisher = {College Publications}, isbn = {9781848900493}, url = {http://www.collegepublications.co.uk/logic/?00021}, author = {Heeffer, Albrecht}, editor = {Fran{\c c}ois, Karen and L{\"o}we, Benedikt and M{\"u}ller, Thomas and Van Kerkhove, Bart} } @incollection {de2011looking, title = {Looking for busy beavers. A socio-philosophical study of a computer-assisted proof}, booktitle = {Foundations of the Formal Sciences}, year = {2011}, pages = {61{\textendash}90}, publisher = {College Publications}, abstract = {
"Young man, in mathematics you don{\textquoteright}t understand things, you just get used to them" John von Neumann
}, author = {De Mol, Liesbeth}, editor = {Fran{\c c}ois, Karen and L{\"o}we, Benedikt and M{\"u}ller, Thomas and Van Kerkhove, Bart} }