{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nBy an ingenious use of the [[Chinese remainder theorem|0FNN9B4W64]], we can constructively define such a recursive function $\\beta$ (using simple number-theoretical functions, all of which can be defined in a total recursive way) fulfilling the specifications given above. Gödel defined the $\\beta$ function using the Chinese remainder theorem in his article written in 1931. This is a primitive recursive function.\n\nThus, for all *n* and for any *n*-length sequence of natural numbers $\\langle a_0,\\dots a_{n-1} \\rangle$, there exists an appropriate natural number *a*, called the Gödel number of the sequence such that $\\beta(a,i) = a_i$.\n\nOur specific solution will depend on a pairing function—there are several ways to implement the pairing function, so one method must be selected. Now, we can abstract from the details of the implementation of the pairing function. We need only to know its \"interface\": let $\\pi$, *K*, and *L* denote the pairing function and its two projection functions, respectively, satisfying specification:\n\n$$K\\left(\\pi\\left(x,y\\right)\\right) = x$$\n\n$$L\\left(\\pi\\left(x,y\\right)\\right) = y$$\n\nWe shall use another auxiliary function that will compute the remainder for natural numbers. Examples:\n\n- $$\\mathrm{rem}(5, 3) = 2$$\n- $$\\mathrm{rem}(7, 2) = 1$$\n\nIt can be proven that this function can be implemented as a recursive function.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "2MKMSGKP7Z"
    ],
    "kind": "statement",
    "name": "Gödel's β-function lemma",
    "role": "lemma",
    "sources": [
      {
        "locator": "Gödel numbering for sequences, section Accessing members \u003e Gödel's β-function lemma",
        "mention": "wikipedia://en/8371092#TT9T",
        "note": "adopted",
        "sections": [
          "Statement"
        ],
        "wikipedia": "en:8371092@r1355768245"
      }
    ],
    "tag": "BM6P0C2AC2"
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/BM6P0C2AC2/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/BM6P0C2AC2.md",
  "msc": null,
  "name": "Gödel's β-function lemma",
  "prov": null,
  "role": "lemma",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/BM6/BM6P0C2AC2.md",
  "status": null,
  "tag": "BM6P0C2AC2",
  "uri": "m2://BM6P0C2AC2",
  "url": "https://math2.tamnd.com/wiki/godels-function-lemma/",
  "writing": {
    "tag": "BM6P0C2AC2",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "edge uses out",
        "note": "each definition that the statement needs",
        "have": 0,
        "want": 1
      }
    ]
  }
}