1:14:50 jeg har tænkt på dette spørgsmål i dagevis, som er relateret til pset2 #4 [projektion af afgørligt iff T-genkendeligt]. Hvordan kan vi være sikre på, at beviser i sig selv ikke forårsager looping. følelsen af projektionsproblem Hvordan kan jeg være sikker på, at genkendelig T prøver nye input og ikke spilder sin tid med meningsløse cirkler i bestemte par (x,y)####[['T', 'Mathematical_Related_Concept', 'NEU'], ['[projektion af afgørligt iff T-genkendeligt]', 'Mathematical_Related_Concept', 'NEU']]