"Turing jump" meaning in English

{
  "etymology_text": "Named after Alan Turing.",
  "forms": [
    {
      "form": "Turing jumps",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "Turing jump (plural Turing jumps)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English entries with language name categories using raw markup",
          "parents": [
            "Entries with language name categories using raw markup",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English terms with non-redundant non-automated sortkeys",
          "parents": [
            "Terms with non-redundant non-automated sortkeys",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Theory of computing",
          "orig": "en:Theory of computing",
          "parents": [
            "Computer science",
            "Computing",
            "Sciences",
            "Technology",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "In computability theory, an operation that assigns to each decision problem X a successively harder decision problem X′ with the property that X′ is not decidable by an oracle machine with an oracle for X."
      ],
      "id": "en-Turing_jump-en-noun-xsyI6i3E",
      "links": [
        [
          "computing",
          "computing#Noun"
        ],
        [
          "theory",
          "theory"
        ],
        [
          "computability theory",
          "computability theory"
        ],
        [
          "operation",
          "operation"
        ],
        [
          "assign",
          "assign"
        ],
        [
          "decision problem",
          "decision problem"
        ],
        [
          "successively",
          "successively"
        ],
        [
          "hard",
          "hard"
        ],
        [
          "property",
          "property"
        ],
        [
          "decidable",
          "decidable"
        ],
        [
          "oracle machine",
          "oracle machine"
        ],
        [
          "oracle",
          "oracle"
        ]
      ],
      "raw_glosses": [
        "(computing theory) In computability theory, an operation that assigns to each decision problem X a successively harder decision problem X′ with the property that X′ is not decidable by an oracle machine with an oracle for X."
      ],
      "topics": [
        "computing",
        "computing-theory",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "sciences"
      ],
      "wikipedia": [
        "Alan Turing"
      ]
    }
  ],
  "word": "Turing jump"
}

{
  "etymology_text": "Named after Alan Turing.",
  "forms": [
    {
      "form": "Turing jumps",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "Turing jump (plural Turing jumps)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries with incorrect language header",
        "English entries with language name categories using raw markup",
        "English eponyms",
        "English lemmas",
        "English multiword terms",
        "English nouns",
        "English terms with non-redundant non-automated sortkeys",
        "en:Theory of computing"
      ],
      "glosses": [
        "In computability theory, an operation that assigns to each decision problem X a successively harder decision problem X′ with the property that X′ is not decidable by an oracle machine with an oracle for X."
      ],
      "links": [
        [
          "computing",
          "computing#Noun"
        ],
        [
          "theory",
          "theory"
        ],
        [
          "computability theory",
          "computability theory"
        ],
        [
          "operation",
          "operation"
        ],
        [
          "assign",
          "assign"
        ],
        [
          "decision problem",
          "decision problem"
        ],
        [
          "successively",
          "successively"
        ],
        [
          "hard",
          "hard"
        ],
        [
          "property",
          "property"
        ],
        [
          "decidable",
          "decidable"
        ],
        [
          "oracle machine",
          "oracle machine"
        ],
        [
          "oracle",
          "oracle"
        ]
      ],
      "raw_glosses": [
        "(computing theory) In computability theory, an operation that assigns to each decision problem X a successively harder decision problem X′ with the property that X′ is not decidable by an oracle machine with an oracle for X."
      ],
      "topics": [
        "computing",
        "computing-theory",
        "engineering",
        "mathematics",
        "natural-sciences",
        "physical-sciences",
        "sciences"
      ],
      "wikipedia": [
        "Alan Turing"
      ]
    }
  ],
  "word": "Turing jump"
}