1:14:50 Je réfléchis à cette question depuis des jours qui est liée à pset2 #4 [projection de décidable ssi T-reconnaissable]. Comment pouvons-nous être sûrs que les preuves elles-mêmes ne provoquent pas de boucle. Dans le sens du problème de projection, comment puis-je être sûr que reconnaissable T essaie de nouvelles entrées et ne perd pas son temps avec des cercles inutiles dans une paire spécifique de (x, y)####[['T', 'Mathematical_Related_Concept', 'NEU'], ['[projection de décidable ssi T-reconnaissable]', 'Mathematical_Related_Concept', 'NEU']]