Доказательство в математике и информатике. Примеры доказательств: интерактивное доказательство, доказательство с нулевым разглашением, вероятностно проверяемое доказательство, доказательство неразрешимости системы неравенств. Система доказательств, перечислимые языки, разрешимые языки. Задача об остановке алгоритма, ее неразрешимость.