{
  "id": "2407.02426",
  "version": "v1",
  "published": "2024-07-02T16:56:27.000Z",
  "updated": "2024-07-02T16:56:27.000Z",
  "title": "Skelet #17 and the determination of BB(5)",
  "authors": [
    "Chris Xu"
  ],
  "categories": [
    "math.CO",
    "math.LO"
  ],
  "abstract": "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.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2024-07-02T16:56:27.000Z"
    }
  ],
  "analyses": {
    "keywords": [
      "fifth busy beaver number",
      "determination",
      "turing machine",
      "busy beaver challenge"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 0,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}