Entscheidungsproblem
(Q11030584)
in computer science, the impossible task of algorithmically determining whether a given statement is provable from the axioms
in computer science, the impossible task of algorithmically determining whether a given statement is provable from the axioms
Language:
Current Data About
Entscheidungsproblem
other details
| description | in computer science, the impossible task of algorithmically determining whether a given statement is provable from the axioms |
External Links
| (P227) |
4253928-6
|
| (P646) |
/m/02mvp
|
| (P6366) |
206005988
|
| (P10376) |
computer-science/entscheidungsproblem
mathematics/entscheidungsproblem |