Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03865861n
Noun Named Entity
Categories: Computability theory, Metatheorems, Gottfried Leibniz, Theory of computation, Undecidable problems
EN
Entscheidungsproblem  decision problem  Church's theorem  Church's undecidability theorem  Church’s theorem
EN
In mathematics and computer science, the Entscheidungsproblem is a challenge posed by David Hilbert and Wilhelm Ackermann in 1928. Wikipedia
Definitions
Relations
Sources
EN
In mathematics and computer science, the Entscheidungsproblem is a challenge posed by David Hilbert and Wilhelm Ackermann in 1928. Wikipedia
Impossible task in computing Wikidata
IS A
mathematical problem
HAS QUALITY
decidability
Wikipedia
EN
Entscheidungsproblem
Wikidata
EN
Entscheidungsproblem
Wikipedia Redirections
EN
Church's theorem, Church's undecidability theorem, Church’s theorem, decision problem (formal logic), Entscheidung, Entscheidungs Problem

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License