Looking for Busy Beavers. A socio-philosophical study of a computer-assisted proof
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
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...