Полный текст
Неразрешимые проблемы программированияНеразрешимые задачи в программировании определены очень строго. Фактически, для каждой такой задачи существует доказательство, что её нельзя решить на машине Тьюринга. Но это теория. На практике есть другие неразрешимые задачи. У таких задач нет формального определения, и очень часто программисты думают, что и проблем-то никаких нет. Попробуем разобраться, может быть, действительно нет.