Алгоритмическая разрешимость: различия между версиями

'''Алгоритмическая разрешимость''' — свойство [[формальная теория|формальной теории]] обладать [[алгоритм]]ом, определяющим по данной [[Математическая формула|формуле]], выводима она из множества [[аксиома|аксиом]] данной теории или нет. Теория называется '''разрешимой''', если такой алгоритм существует, и '''неразрешимой''', в противном случае. Вопрос о выводимости в формальной теории является частным, но вместе с тем, важнейшим случаем более общей [[Проблема разрешимости|проблемы разрешимости]].