# Definitions for entscheidungsproblementschei·dungsprob·lem

### Wiktionary(3.50 / 2 votes)Rate this definition:

1. Entscheidungsproblemnoun

A decision problem, of finding a way to decide whether a formula is true or provable within a given system.

Etymology: German, from Entscheidung ‘decision’.

### Freebase(5.00 / 1 vote)Rate this definition:

1. Entscheidungsproblem

In mathematics and computer science, the Entscheidungsproblem is a challenge posed by David Hilbert in 1928. The Entscheidungsproblem asks for an algorithm that takes as input a statement of a first-order logic and answers "Yes" or "No" according to whether the statement is universally valid, i.e., valid in every structure satisfying the axioms. By the completeness theorem of first-order logic, a statement is universally valid if and only if it can be deduced from the axioms, so the Entscheidungsproblem can also be viewed as asking for an algorithm to decide whether a given statement is provable from the axioms using the rules of logic. In 1936, Alonzo Church and Alan Turing, respectively, published independent papers showing that a general solution to the Entscheidungsproblem is impossible. This result is now known as Church's Theorem or the Church–Turing Theorem.

### Numerology

1. Chaldean Numerology

The numerical value of entscheidungsproblem in Chaldean Numerology is: 2

2. Pythagorean Numerology

The numerical value of entscheidungsproblem in Pythagorean Numerology is: 4

## Translations for entscheidungsproblem

### From our Multilingual Translation Dictionary

• Entscheidungsproblem
• entscheidungsproblem
• entscheidungsproblem

### Translation

#### Find a translation for the entscheidungsproblem definition in other languages:

Select another language:

• - Select -
• 简体中文 (Chinese - Simplified)
• Español (Spanish)
• Esperanto (Esperanto)
• 日本語 (Japanese)
• Português (Portuguese)
• Deutsch (German)
• العربية (Arabic)
• Français (French)
• Русский (Russian)
• 한국어 (Korean)
• עברית (Hebrew)
• Gaeilge (Irish)
• Українська (Ukrainian)
• اردو (Urdu)
• Magyar (Hungarian)
• मानक हिन्दी (Hindi)
• Indonesia (Indonesian)
• Italiano (Italian)
• தமிழ் (Tamil)
• Türkçe (Turkish)
• తెలుగు (Telugu)
• ภาษาไทย (Thai)
• Tiếng Việt (Vietnamese)
• Čeština (Czech)
• Polski (Polish)
• Bahasa Indonesia (Indonesian)
• Românește (Romanian)
• Nederlands (Dutch)
• Ελληνικά (Greek)
• Latinum (Latin)
• Svenska (Swedish)
• Dansk (Danish)
• Suomi (Finnish)
• فارسی (Persian)
• ייִדיש (Yiddish)
• հայերեն (Armenian)
• Norsk (Norwegian)
• English (English)

## Citation

#### Use the citation below to add this definition to your bibliography:

Style:MLAChicagoAPA

"entscheidungsproblem." Definitions.net. STANDS4 LLC, 2022. Web. 17 Jan. 2022. <https://www.definitions.net/definition/entscheidungsproblem>.

## Are we missing a good definition for entscheidungsproblem? Don't keep it to yourself...

### Browse Definitions.net

#### Free, no signup required:

Get instant definitions for any word that hits you anywhere on the web!

#### Free, no signup required:

Get instant definitions for any word that hits you anywhere on the web!

»
• A. elate
• B. embellish
• C. loom
• D. abduct