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