Kedves GPF!

A négyszínsejtést számítógép nélkül is be lehetett volna bizonyítani, a gép csak lerövidítette a bizonyításhoz szükséges időt, és csak a bizonyítás egy részét végezte el. Ez azonban az emberi hozzájárulás nélkül kevés lett volna a teljes bizonyításhoz.
A lefagyás figyelő rutinnal kapcsolatban csak azt szeretném megkérdezni, azt vajon ki figyeli, hogy a lefagyás figyelő rutin lefagyott-e? Mi van akkor, ha az eredeti program működőképes, de a lefagyás figyelő már lefagyott? Pontosan ez a lényege az egész kérdéskörnek. Mindig lesz valaki a legfelső szinten, akit senki sem figyel, így minden megoldás, ami a lefagyás elkerülésére hivatott, tökéletlen.