Алгоритмическая разрешимость
Sign in to saveAlso known as decidable
property of theories that have computable membership
In the Vinony graph
Vinony's link graph records 435 inbound references to Алгоритмическая разрешимость, and connects out to propositional calculus, formal system and recursive set.
It sits within the topics Concepts in logic, Metalogic and Proof theory.
Vinony links it to 17 Wikipedia language editions.
Wikidata facts
- Subclass of
- property
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
Sources (3)
via Wikidata · CC0
Article · Русский
Алгоритмическая разрешимость — свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если такой алгоритм существует, и неразрешимой, в противном случае. Вопрос о выводимости в формальной теории является частным, но вместе с тем важнейшим случаем более общей проблемы разрешимости.
Abstract from DBpedia / Wikipedia · CC BY-SA