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

DOI10.2307/2007539zbMATH Open0518.03013OpenAlexW4230077439MaRDI QIDQ3666832FDOQ3666832

Allen H. Brady

Publication date: 1983

Published in: Mathematics of Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2007539

zbMATH Keywords

Turing machinesbusy beaver competition

Mathematics Subject Classification ID

Turing machines and related notions (03D10)

Cited In (14)

• Dynamical systems approach to the busy beaver problem
• A note on busy beavers and other creatures
• A new Gödelian argument for hypercomputing minds based on the busy beaver problem
• Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons)
• Busy beaver competition and Collatz-like problems
• Numerical evaluation of algorithmic complexity for short strings: a glance into the innermost structure of randomness
• On the complex behavior of simple tag systems -- an experimental approach
• Small Turing machines and generalized busy beaver competition
• The Complexity of Small Universal Turing Machines: A Survey
• Computer Runtimes and the Length of Proofs
• Generating candidate busy beaver machines (or how to build the zany zoo)
• Infinite time busy beavers
• A computable measure of algorithmic probability by finite approximations with an application to integer sequences
• Correlation of automorphism group size and topological properties with program-size complexity evaluations of graphs and complex networks

This page was built for publication: The Determination of the Value of Rado's Noncomputable Function | sum(k) for Four-State Turing Machines

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3666832)