1:14:50 jag har funderat på den här frågan i flera dagar som är relaterad till pset2 #4 [projektion av avgörbart iff T-igenkännbart]. Hur kan vi vara säkra på att bevisen i sig inte orsakar looping. känslan av projektionsproblem Hur kan jag vara säker på att igenkännbar T provar nya ingångar och inte slösar bort sin tid med en meningslös cirklar i ett specifikt par (x,y)####[['T', 'Mathematical_Related_Concept', 'NEU'], ['[projektion av avgörbart iff T-igenkännbart]', 'Mathematical_Related_Concept', 'NEU']]