User:IssaRice/Computability and logic/Entscheidungsproblem

From Machinelearning
< User:IssaRice
Revision as of 00:31, 9 February 2019 by IssaRice (talk | contribs) (Created page with "'''Entscheidungsproblem''', also called '''Hilbert's decision problem''' is a problem in mathematical logic. ==Equivalent formulations== {| class="wikitable" |} ==See also=...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Entscheidungsproblem, also called Hilbert's decision problem is a problem in mathematical logic.

Equivalent formulations

See also