# Definitions for entscheidungsproblementschei·dungsprob·lem

### WiktionaryRate this definition:3.5 / 2 votes

1. Entscheidungsproblemnoun

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

2. Etymology: German, from Entscheidung ‘decision’.

### WikipediaRate this definition:0.0 / 0 votes

1. Entscheidungsproblem

In mathematics and computer science, the Entscheidungsproblem (pronounced [ɛntˈʃaɪ̯dʊŋspʁoˌbleːm], German for 'decision problem') is a challenge posed by David Hilbert and Wilhelm Ackermann in 1928. The problem asks for an algorithm that considers, as input, a statement and answers "Yes" or "No" according to whether the statement is universally valid, i.e., valid in every structure satisfying the axioms.

### WikidataRate this definition:5.0 / 1 vote

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
• 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, 2024. Web. 1 Mar. 2024. <https://www.definitions.net/definition/entscheidungsproblem>.

#### Discuss these entscheidungsproblem definitions with the community:

##### 1 Comment
• Sidney Orr
I'll go with Church-Turing!

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

#### 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!

### Quiz

#### Are you a words master?

»
##### being essentially equal to something
• A. equivalent
• B. defiant
• C. ectomorphic
• D. butch