1:14:50 Я думал об этом вопросе в течение нескольких дней, который связан с pset2 #4 [проекция разрешимости, если и только если T-распознаваемый]. Как мы можем быть уверены, что само доказательство не вызовет зацикливания. В смысле проблемы проекции Как я могу быть уверен, что распознаваемый T пробует новые входные данные, а не тратит время на бессмысленные круги в определенной паре (x,y)####[['T', 'Mathematical_Related_Concept', 'NEU'], ['[проекция разрешимости, если и только если T-распознаваемый]', 'Mathematical_Related_Concept', 'NEU']]