1:14:50 Premýšľal som o tejto otázke už niekoľko dní, ktorá súvisí s pset2 #4 [projekcia rozhodnuteľného, ak T-rozpoznateľné]. Ako si môžeme byť istí, že samotné dôkazy nespôsobujú zacyklenie. problém zmyslu pre projekciu Ako si môžem byť istý, že rozpoznateľný T skúša nové vstupy a nestráca čas zbytočnými kruhmi v špecifickom páre (x,y)####[['T', 'Mathematical_Related_Concept', 'NEU'], ['[projekcia rozhodnuteľného, ak T-rozpoznateľné]', 'Mathematical_Related_Concept', 'NEU']]