"Entscheidungsproblem" meaning in English

{
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "de",
        "3": "Entscheidungsproblem"
      },
      "expansion": "Unadapted borrowing from German Entscheidungsproblem",
      "name": "ubor"
    }
  ],
  "etymology_text": "Unadapted borrowing from German Entscheidungsproblem.",
  "head_templates": [
    {
      "args": {
        "1": "?"
      },
      "expansion": "Entscheidungsproblem",
      "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": "Pages with 2 entries",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Logic",
          "orig": "en:Logic",
          "parents": [
            "Formal sciences",
            "Philosophy",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Mathematics",
          "orig": "en:Mathematics",
          "parents": [
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "examples": [
        {
          "ref": "1999, Neal Stephenson, Cryptonomicon:",
          "text": "‘The Entscheidungsproblem,’ Rudy said. ‘Meaning?’ Alan explained, ‘Hilbert wanted to know whether any given statement could, in principle, be found true or false.’",
          "type": "quote"
        },
        {
          "ref": "2012, George Dyson, Turing's Cathedral, Penguin, published 2013, page 279:",
          "text": "Turing was attending Max Newman's lectures on the foundations of mathematics when the Entscheidungsproblem first attracted his attention.",
          "type": "quote"
        }
      ],
      "glosses": [
        "A decision problem of finding a way to decide whether a formula is true or provable within a given system."
      ],
      "hypernyms": [
        {
          "word": "problem"
        }
      ],
      "id": "en-Entscheidungsproblem-en-noun-qPj4PyKO",
      "links": [
        [
          "mathematics",
          "mathematics"
        ],
        [
          "logic",
          "logic"
        ],
        [
          "decision problem",
          "decision problem"
        ]
      ],
      "raw_glosses": [
        "(mathematics, logic) A decision problem of finding a way to decide whether a formula is true or provable within a given system."
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "/ɛntˈʃʌɪ.dʊŋsˌpɹɒ.bləm/"
    },
    {
      "ipa": "/entˈʃaɪd.ʊŋsˌpɹɒb.lɪm/",
      "tags": [
        "Received-Pronunciation",
        "dated"
      ]
    }
  ],
  "word": "Entscheidungsproblem"
}

{
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "de",
        "3": "Entscheidungsproblem"
      },
      "expansion": "Unadapted borrowing from German Entscheidungsproblem",
      "name": "ubor"
    }
  ],
  "etymology_text": "Unadapted borrowing from German Entscheidungsproblem.",
  "head_templates": [
    {
      "args": {
        "1": "?"
      },
      "expansion": "Entscheidungsproblem",
      "name": "en-noun"
    }
  ],
  "hypernyms": [
    {
      "word": "problem"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries with incorrect language header",
        "English lemmas",
        "English nouns",
        "English nouns with unknown or uncertain plurals",
        "English terms borrowed from German",
        "English terms derived from German",
        "English terms with quotations",
        "English unadapted borrowings from German",
        "Pages with 2 entries",
        "Pages with entries",
        "Quotation templates to be cleaned",
        "en:Logic",
        "en:Mathematics"
      ],
      "examples": [
        {
          "ref": "1999, Neal Stephenson, Cryptonomicon:",
          "text": "‘The Entscheidungsproblem,’ Rudy said. ‘Meaning?’ Alan explained, ‘Hilbert wanted to know whether any given statement could, in principle, be found true or false.’",
          "type": "quote"
        },
        {
          "ref": "2012, George Dyson, Turing's Cathedral, Penguin, published 2013, page 279:",
          "text": "Turing was attending Max Newman's lectures on the foundations of mathematics when the Entscheidungsproblem first attracted his attention.",
          "type": "quote"
        }
      ],
      "glosses": [
        "A decision problem of finding a way to decide whether a formula is true or provable within a given system."
      ],
      "links": [
        [
          "mathematics",
          "mathematics"
        ],
        [
          "logic",
          "logic"
        ],
        [
          "decision problem",
          "decision problem"
        ]
      ],
      "raw_glosses": [
        "(mathematics, logic) A decision problem of finding a way to decide whether a formula is true or provable within a given system."
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "/ɛntˈʃʌɪ.dʊŋsˌpɹɒ.bləm/"
    },
    {
      "ipa": "/entˈʃaɪd.ʊŋsˌpɹɒb.lɪm/",
      "tags": [
        "Received-Pronunciation",
        "dated"
      ]
    }
  ],
  "word": "Entscheidungsproblem"
}