Entscheidungsproblem: Difference between revisions
From WikiMD's Wellness Encyclopedia
CSV import |
CSV import |
||
| Line 3: | Line 3: | ||
{{dictionary-stub2}} | {{dictionary-stub2}} | ||
{{short-articles-ni}} | {{short-articles-ni}} | ||
{{No image}} | |||
Latest revision as of 16:36, 10 February 2025
Entscheidungsproblem - brief summary
<html><link rel="canonical" href="https://wikimd.com/wiki/Entscheidungsproblem"> <meta name=”viewport” content=”width=device-width, initial-scale=1″> </html>
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
o according to whether the statement is universally valid, i.e., valid in every structure satisfying the axioms.
| This article is a stub. You can help WikiMD by registering to expand it. |
