{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "X5KD3X3VJ3"
    }
  ],
  "body": "\n## Summary\n\nAlgorithmic randomness makes precise which individual infinite binary sequences are random.\nThe standard notion is Martin-Löf randomness.\nIt calls a sequence random if it passes every effective statistical test, that is, if it avoids every effectively given set of measure zero.\nAlmost every sequence, in the sense of the uniform measure, is random in this sense, while no computable sequence is.\nThe notion connects computability, probability and [[Kolmogorov complexity|8PY3K6NCKF]].\n\n## Explanations\n\n### L1 human\n\nProbability theory says that a fair coin produces \"typical\" sequences, but it does not say which single sequence is random.\nThe sequence $000\\ldots$ is as likely as any other, yet nobody would call it random.\nAlgorithmic randomness says a sequence is random if no computer program can find a pattern in it that a fair coin would rarely produce.\nEquivalently, its first $n$ bits cannot be compressed much, for every $n$.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "kind": "concept",
    "msc": [
      "03D32",
      "68Q30"
    ],
    "name": "Algorithmic randomness",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Algorithmically_random_sequence"
      }
    ],
    "tag": "KW3V44GPPC"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/KW3V44GPPC/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/KW3V44GPPC.md",
  "msc": [
    "03D32",
    "68Q30"
  ],
  "name": "Algorithmic randomness",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/KW3/KW3V44GPPC.md",
  "status": null,
  "tag": "KW3V44GPPC",
  "uri": "m2://KW3V44GPPC",
  "url": "https://math2.tamnd.com/wiki/algorithmic-randomness/",
  "writing": {
    "tag": "KW3V44GPPC",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}