1:14:50 Ik heb dagenlang over deze vraag nagedacht die verband houdt met pset2 #4 [projectie van beslisbaar als en slechts als T-herkenbaar]. Hoe kunnen we er zeker van zijn dat bewijzen zelf geen lus veroorzaken? In de zin van het projectieprobleem Hoe kan ik er zeker van zijn dat herkenbaar T nieuwe invoer probeert en zijn tijd niet verspilt met zinloze cirkels in een specifiek paar van (x,y)####[['T', 'Mathematical_Related_Concept', 'NEU'], ['[projectie van beslisbaar als en slechts als T-herkenbaar]', 'Mathematical_Related_Concept', 'NEU']]