1:14:50 Danima sam razmišljao o ovom pitanju koje je povezano s pset2 #4 [projekcija decidable iff T-recognizable]. Kako možemo biti sigurni da dokazi sami po sebi ne uzrokuju petlje. U problem osjećaja projekcije Kako mogu biti siguran da prepoznatljiv T iskušava nove unose i ne gubi vrijeme na besmislene krugove u određenim parovima (x,y)####[['T', 'Mathematical_Related_Concept', 'NEU'], ['[projekcija decidable iff T-recognizable]', 'Mathematical_Related_Concept', 'NEU']]