Looking for busy beavers. A socio-philosophical study of a computer-assisted proof (Q4906868)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Looking for busy beavers. A socio-philosophical study of a computer-assisted proof |
scientific article; zbMATH DE number 6139972
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Looking for busy beavers. A socio-philosophical study of a computer-assisted proof |
scientific article; zbMATH DE number 6139972 |
Statements
28 February 2013
0 references
0.7813076376914978
0 references
0.7594655752182007
0 references
0.7464550733566284
0 references
0.7443631291389465
0 references
