 |
Portail HAL - Université de Lille |  |
Chapitre d'ouvrage
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
Littérature citée [38 références]
https://hal.univ-lille.fr/hal-01396523
Contributeur : Liesbeth de Mol <>
Soumis le : lundi 14 novembre 2016 - 15:29:00
Dernière modification le : mardi 3 novembre 2020 - 09:54:03
Archivage à long terme le : : mardi 21 mars 2017 - 00:48:44
Contributeur : Liesbeth de Mol <>
Soumis le : lundi 14 novembre 2016 - 15:29:00
Dernière modification le : mardi 3 novembre 2020 - 09:54:03
Archivage à long terme le : : mardi 21 mars 2017 - 00:48:44
Fichier
FOTFS_FinalVersion.pdf
Fichiers produits par l'(les) auteur(s)