1:14:50 Ich habe tagelang über diese Frage nachgedacht, die mit pset2 #4 zusammenhängt [Projektion von entscheidbar genau dann, wenn T-erkennbar]. Wie können wir sicher sein, dass der Beweis selbst keine Schleife verursacht? Im Sinne des Projektionsproblems: Wie kann ich sicher sein, dass erkennbar T neue Eingaben ausprobiert und seine Zeit nicht mit sinnlosen Kreisen in einem bestimmten Paar von (x,y) verschwendet?####[['T', 'Mathematical_Related_Concept', 'NEU'], ['[Projektion von entscheidbar genau dann, wenn T-erkennbar]', 'Mathematical_Related_Concept', 'NEU']]