If you need an accessible version of this item please contact JSTOR User Support

The Determination of the Value of Rado's Noncomputable Function $|sum(k)$ for Four-State Turing Machines

Allen H. Brady
Mathematics of Computation
Vol. 40, No. 162 (Apr., 1983), pp. 647-665
DOI: 10.2307/2007539
Stable URL: http://www.jstor.org/stable/2007539
Page Count: 19
  • Download PDF
  • Cite this Item

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If you need an accessible version of this item please contact JSTOR User Support
The Determination of the Value of Rado's Noncomputable Function $|sum(k)$ for Four-State Turing Machines
Preview not available

Abstract

The well-defined but noncomputable functions $\Sigma(k)$ and $S(k)$ given by T. Rado as the "score" and "shift number" for the $k$-state Turing machine "Busy Beaver Game" were previously known only for $k \leqslant 3$. The largest known lower bounds yielding the relations $\Sigma(4) \geqslant 13$ and $S(4) \geqslant 107$, reported by this author, supported the conjecture that these lower bounds are the actual particular values of the functions for $k = 4$. The four-state case has previously been reduced to solving the blank input tape halting problem of only 5,820 individual machines. In this final stage of the $k = 4$ case, one appears to move into a heuristic level of higher order where it is necessary to treat each machine as representing a distinct theorem. The remaining set consists of two primary classes in which a machine and its tape are viewed as the representation of a growing string of cellular automata. The proof techniques, embodied in programs, are entirely heuristic, while the inductive proofs, once established by the computer, are completely rigorous and become the key to the proof of the new and original mathematical results: $\Sigma(4) = 13$ and $S(4) = 107$.

Page Thumbnails

  • Thumbnail: Page 
647
    647
  • Thumbnail: Page 
648
    648
  • Thumbnail: Page 
649
    649
  • Thumbnail: Page 
650
    650
  • Thumbnail: Page 
651
    651
  • Thumbnail: Page 
652
    652
  • Thumbnail: Page 
653
    653
  • Thumbnail: Page 
654
    654
  • Thumbnail: Page 
655
    655
  • Thumbnail: Page 
656
    656
  • Thumbnail: Page 
657
    657
  • Thumbnail: Page 
658
    658
  • Thumbnail: Page 
659
    659
  • Thumbnail: Page 
660
    660
  • Thumbnail: Page 
661
    661
  • Thumbnail: Page 
662
    662
  • Thumbnail: Page 
663
    663
  • Thumbnail: Page 
664
    664
  • Thumbnail: Page 
665
    665