Table of Contents: :: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Xu, Chris
Format:	Preprint
Published:	2024
Subjects:	Combinatorics Logic
Online Access:	https://arxiv.org/abs/2407.02426
Tags:	Add Tag No Tags, Be the first to tag this record!

Table of Contents:

We prove nonhalting of the Turing machine dubbed "Skelet #17", known to be one of the toughest 5-state, 2-symbol Turing machines to analyze. Combined with the efforts of The Busy Beaver Challenge, we are therefore able to show that BB(5), the fifth Busy Beaver number, equals 47,176,870.