Looking for Busy Beavers. A socio-philosophical ...

Document type :
Partie d'ouvrage
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 problem
Language :
Anglais
Audience :
Internationale
Popular science :
Non
Collections :
Source :
Harvested from HAL
Files
Thumbnail
Thumbnail