Accéder directement au contenu Accéder directement à la navigation
Chapitre d'ouvrage

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

Liesbeth de Mol 1
1 STL - Savoirs, Textes, Langage (STL) - UMR 8163
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
Keywords : History of computing Philosophy of computer science Philosophy of mathematical practice
Type de document :
Chapitre d'ouvrage
Liste complète des métadonnées

Littérature citée [38 références]  Voir  Masquer  Télécharger
https://hal.univ-lille.fr/hal-01396523
Contributeur : Liesbeth de Mol Connectez-vous pour contacter le contributeur
Soumis le : lundi 14 novembre 2016 - 15:29:00
Dernière modification le : mardi 19 octobre 2021 - 23:31:24
Archivage à long terme le : : mardi 21 mars 2017 - 00:48:44

Fichier

Vignette du document
FOTFS_FinalVersion.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01396523, version 1

Collections

CNRS | TDS-MACS | HIPHISCITECH | OMNIPHILO | STL | UNIV-LILLE

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⟩

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

218

Téléchargements de fichiers

397