Looking for Busy Beavers. A socio-philosophical study of a computer-assisted proof - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2012

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

Liesbeth de Mol
Savoirs, Textes, Langage (STL) - UMR 8163

Résumé

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

Domaines

Informatique [cs] Ordinateur et société [cs.CY] Sciences de l'Homme et Société Histoire, Philosophie et Sociologie des sciences
Fichier principal
Vignette du fichier
FOTFS_FinalVersion.pdf (216.03 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Liesbeth De Mol  : Connectez-vous pour contacter le contributeur

https://hal.univ-lille.fr/hal-01396523

Soumis le : lundi 14 novembre 2016-15:29:00

Dernière modification le : mercredi 8 février 2023-17:11:00

Archivage à long terme le : mardi 21 mars 2017-00:48:44

Télécharger pour visualiser

Dates et versions

hal-01396523 , version 1 (14-11-2016)

Identifiants

  • HAL Id : hal-01396523 , version 1

Citer

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⟩

Exporter

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS STL HIPHISCITECH OMNIPHILO TDS-MACS UNIV-LILLE
100 Consultations
150 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More