{
  "aliases": null,
  "backlinks": [
    {
      "field": "about",
      "target": "1RVF7DWG8C"
    },
    {
      "field": "about",
      "target": "RA358M9QCN"
    },
    {
      "field": "uses",
      "target": "1RVF7DWG8C"
    },
    {
      "field": "uses",
      "target": "3HD30YG3DG"
    },
    {
      "field": "uses",
      "target": "H5CW67CCST"
    },
    {
      "field": "uses",
      "target": "NYJX5QXX1T"
    },
    {
      "field": "uses",
      "target": "RA358M9QCN"
    },
    {
      "field": "uses",
      "target": "X5KD3X3VJ3"
    },
    {
      "field": "uses",
      "target": "X8TVJSVTD4"
    },
    {
      "field": "uses",
      "target": "X9WYNYE29C"
    },
    {
      "field": "uses",
      "target": "Y1N80NR1CG"
    },
    {
      "field": "defines",
      "target": "MWSD85BB4X"
    }
  ],
  "body": "\n## Summary\n\nA computably enumerable set, also called recursively enumerable or semidecidable, is a set of natural numbers whose elements can be listed by an algorithm.\nEquivalently, some algorithm halts exactly on the elements of the set.\nEvery [[computable set|PPGD5KW8JC]] is computably enumerable, but the halting set is computably enumerable and not computable.\nThese sets are the $\\Sigma^0_1$ sets of the [[arithmetical hierarchy|7CVJCQKY41]] and are studied through their [[Turing degrees|P5N2ND3VCG]].\n\n## Explanations\n\n### L1 human\n\nA set is computably enumerable if a program can print its elements one by one, possibly forever and in any order.\nIf a number is in the set, you will see it printed after some time.\nIf it is not in the set, you may wait forever without learning this.\nFor example, the numbers of programs that halt can be listed by running all programs in parallel and printing each one when it stops.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "kind": "concept",
    "msc": [
      "03D25"
    ],
    "name": "Computably enumerable set",
    "same_as": {
      "wikidata": "Q676835",
      "wikipedia": "Computably enumerable set"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Computably_enumerable_set"
      }
    ],
    "specializes": [
      "0BJR9QR08E"
    ],
    "tag": "TN9G24VABN"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/TN9G24VABN/",
  "links": [
    {
      "field": "specializes",
      "target": "0BJR9QR08E"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/TN9G24VABN.md",
  "msc": [
    "03D25"
  ],
  "name": "Computably enumerable set",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/TN9/TN9G24VABN.md",
  "status": null,
  "tag": "TN9G24VABN",
  "uri": "m2://TN9G24VABN",
  "url": "https://math2.tamnd.com/wiki/computably-enumerable-set/",
  "writing": {
    "tag": "TN9G24VABN",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}