Cited by 913Computability, Logic, AI Algorithmssemigroups and automata theoryAlgorithms and Data Compression

On the Length of Programs for Computing Finite Binary Sequences

Open access
Chaitin, Gregory J.·1966·Journal of the ACM

Abstract

The use of Turing machines for calculating finite binary sequences is studied from the point of view of information theory and the theory of recursive functions. Various results are obtained concerning the number of instructions in programs. A modified form of Turing machine is studied from the same point of view. An application to the problem of defining a patternless sequence is proposed in terms of the concepts here developed.

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Integrity signals

Registry

Crossref · 10.1145/321356.321363

Cites

2 of 2 references verified0 citation errors · 0 not checkable

Statistics

Claims the paper makes

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

  • FunSearch attempts to find solutions that have low Kolmogorov complexity, whereas traditional search procedures have a very different inductive bias.

    “In a loose sense, FunSearch attempts to find solutions that have low Kolmogorov complexity48–50 (which is the length of the shortest computer program that produces a given object as output), whereas traditional search procedures have a very different inductive bias.”

Self-check

Percentages, sums and reported differences re-computed from the paper’s own numbers.

The self-check needs the paper’s full text.

Cites

Flagged first, then by citations

Research works printed but not linked: 4

  1. I)av~s, M. Com~utability and Unsolva~ility+ McGraw-Hilt, New York, 1958.
  2. Wa~,D, A. Die Widempmmhsfreiheit des Koltektivbeg:riffes der Wahrscheialichkeitsrech= mmg. Ergcbnisse eines mathe:matischen Kolloquiums 8 (1937), 38-72.
  3. C*~'~c~L A. Or~ the concep~ of a random sequence. Bull, Amer. Math. Soc. ~6 (1940), 130- I35.
  4. Po~'~m, K.R. The Logic 4 Scient'~fic Discovery. O. of Toronto Press, Toronto:, 1959.

Cited by

Sorted by citations

Authors
Chaitin, G. J.
Affiliations
City College of New York (US)
Corresponding author
Chaitin, Gregory J.
Venue
Journal of the ACM
Published
1966-10
Volume
13
Issue
4
Pages
547-569
ISSN
  • 0004-5411 (ISSN-L)
  • 1557-735X
OpenAlex
W1969678783
Cited by
913
References
2
Citations by year
2026: 13 · 2025: 28 · 2024: 16 · 2023: 17 · 2022: 22 · 2021: 40 · 2020: 22 · 2019: 17 · 2018: 32 · 2017: 26 · 2016: 22 · 2015: 32 · 2014: 30 · 2013: 32 · 2012: 40
FWCI
3.65
Type
journal article
Language
en
Open access
Locations
Journal of the ACM (publishedVersion)
Funders
National Science Foundation
Topics
  • Physical Sciences › Computer Science › Computational Theory and Mathematics › Computability, Logic, AI Algorithms
  • Physical Sciences › Computer Science › Computational Theory and Mathematics › semigroups and automata theory
  • Physical Sciences › Computer Science › Artificial Intelligence › Algorithms and Data Compression
Keywords
program duration, Turing machines, information theory, recursive functions, program size, Kolmogorov complexity

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review