Entscheidungsproblem

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

This is an unmodified, but possibly outdated, definition from Wiktionary and used here under the Creative Commons license. Wiktionary is a great resource. If you like it too, please donate to Wikimedia.

This entry was last updated on RefTopia from its source on 3/20/2012.