Entscheidungsproblem (Q11030584)
Jump to navigation
Jump to search
in computer science, the impossible task of algorithmically determining whether a given statement is provable from the axioms
Language | Label | Description | Also known as |
---|---|---|---|
English | Entscheidungsproblem |
in computer science, the impossible task of algorithmically determining whether a given statement is provable from the axioms |
Statements
Identifiers
Sitelinks
Wikipedia(20 entries)
- arwiki مسألة القرار (رياضيات)
- bewiki Праблема вырашальнасці
- cawiki Entscheidungsproblem
- cswiki Entscheidungsproblem
- enwiki Entscheidungsproblem
- eswiki Entscheidungsproblem
- frwiki Problème de la décision
- hrwiki Entscheidungsproblem
- itwiki Entscheidungsproblem
- lawiki Entscheidungsproblem
- nlwiki Entscheidungsproblem
- ptwiki Entscheidungsproblem
- rowiki Problema deciziei
- ruwiki Проблема разрешения
- shwiki Entscheidungsproblem
- simplewiki Entscheidungsproblem
- svwiki Avgörbarhetsproblemet
- ukwiki Задача розв'язності
- zh_yuewiki 可判定性
- zhwiki 可判定性