1:14:50 Tenho pensado sobre essa questão há dias, que está relacionada ao pset2 #4 [projeção de decidível se e somente se T-reconhecível]. Como podemos ter certeza de que as provas em si não causam loops? No sentido do problema de projeção, como posso ter certeza de que o reconhecível T está tentando novas entradas e não desperdiçando seu tempo com círculos inúteis em um par específico de (x, y)####[['T', 'Mathematical_Related_Concept', 'NEU'], ['[projeção de decidível se e somente se T-reconhecível]', 'Mathematical_Related_Concept', 'NEU']]