Проблема остановки и её неразрешимость. Отгадывание числа за несколько вопросов: разные изложения доказательства невозможности.