Titre :

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

Auteur(s) :

De Mol, Liesbeth [Auteur]
Savoirs, Textes, Langage (STL) - UMR 8163 [STL]

Éditeur(s) ou directeur(s) scientifique(s) :

Karen Francois
Benedikt Löwe
Thomas Müller
et Bart van Kerkhove

Titre de l’ouvrage :

Foundations of The Formal Sciences VII. Bringing together Philosophy and Sociology of Science

Éditeur :

College Publications

Date de publication :

2012

ISBN :

978-1-84890-049-3

Mot(s)-clé(s) en anglais :

History of computing
Philosophy of computer science
Philosophy of mathematical practice

Discipline(s) HAL :

Informatique [cs]/Ordinateur et société [cs.CY]
Sciences de l'Homme et Société/Histoire, Philosophie et Sociologie des sciences

Résumé en anglais : [en]

This paper analyses issues of computer-assisted proofs focusing on one particular case, viz. that of proofs of particular instances of the Busy Beaver problemThis paper analyses issues of computer-assisted proofs focusing on one particular case, viz. that of proofs of particular instances of the Busy Beaver problemLire moins >

Langue :

Anglais

Audience :

Internationale

Vulgarisation :

Non

Collections :

• Savoirs, Textes, Langage (STL) - UMR 8163

Source :

Harvested from HAL