Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
В этом видео мы поговорили о функциях, которые являются невычислимыми, а также задались вопросом о том, существует ли алгоритм, который сможет для любой программы дать ответ на вопрос о её корректности.
