Title :

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

Author(s) :

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

Scientific editor(s) :

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

Book title :

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

Publisher :

College Publications

Publication date :

2012

ISBN :

978-1-84890-049-3

English keyword(s) :

History of computing
Philosophy of computer science
Philosophy of mathematical practice

HAL domain(s) :

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

English abstract : [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 problemShow less >

Language :

Anglais

Audience :

Internationale

Popular science :

Non

Collections :

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

Source :

Harvested from HAL