Здравствуйте, GhostCoders, Вы писали:

GC> ·>Не совсем прям уж определение, это просто часть док-ва. Т.е. понятие такого анализатора вводится не просто так, а чтобы на его основе построить доказательство теоремы.
GC> Опять не понимаю. Вводится понятие противоречивого анализатора, затем показывается,
GC> что этот противоречиввый анализатор противоречив.
Ключевое по той ссылке "Проблему остановки можно переформулировать следующим образом: существует ли Анализатор?"
Т.е. сама проблема остановки равносильна конкретно этому анализатору, который сформулирован определённым образом.
А если ты вводишь какие-то другие термины, какие-то другие виды анализаторов, которые делают что-то не то или не так, то скорее всего они не будут равносильны проблеме и смысл затеи теряется.