Вс. Сен 8th, 2024

Проблема алгоритмической разрешимости

Всякому методу соответствует задачка, для решения которой он был построен. Оборотное утверждение в общем случае является неправильным по двум причинам: во-1-х, одна и та же задачка может решаться разными методами;…

Нормальные алгоритмы Маркова

Коротко обсудим 3-ий подход к уточнению (конкретизации) понятия метода. По смыслу оно близко к идеям Тьюринга, но, в нем не употребляются представления о каких-то машинах. Метод задается системой подстановок, которые…