Looking for Busy Beavers. A socio-philosophical study of a computer-assisted proof

Abstract : This paper analyses issues of computer-assisted proofs focusing on one particular case, viz. that of proofs of particular instances of the Busy Beaver problem
Complete list of metadatas

Cited literature [38 references]  Display  Hide  Download

https://hal.univ-lille3.fr/hal-01396523
Contributor : Liesbeth de Mol <>
Submitted on : Monday, November 14, 2016 - 3:29:00 PM
Last modification on : Tuesday, July 3, 2018 - 11:30:05 AM
Long-term archiving on : Tuesday, March 21, 2017 - 12:48:44 AM

File

FOTFS_FinalVersion.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01396523, version 1

Citation

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⟩

Share

Metrics

Record views

140

Files downloads

315