История изменений
Исправление
dikiy,
(текущая версия)
:
О, еще один, не понимающий смысла доказательства от противного.
они доказали, что не существует анализатора, не останавливающегося, если анализируемая программа останавливается. Но, насколько я понимаю, они не доказали отсутствие анализатора, останавливающегося всегда.
Исходная версия
dikiy,
:
О, еще один, не понимающий смысла доказательства от противного.
они доказали, что не существует анализатора, не останавливающегося, если анализируемая программа останавливается. Но, насколько я понимаю, они не доказали существование анализатора, останавливающегося всегда.