Quelltext
Der Fixpunktsatz besagt also, dass sich zu jeder (berechenbaren) Quelltext-Manipulation ein Programm findet, dem die Modifikation nichts ausmacht. Das heißt, der Quelltext wird zwar modifiziert, dies hat aber für die Funktion des Programms, das durch diesen Quelltext dargestellt wird, keine Auswirkungen.