Jede nichttriviale semantische Eigenschaft der von Turingmaschinen berechneten partiellen Funktionen ist unentscheidbar.
"Nichttrivial" heißt: Manche Programme haben die Eigenschaft, manche nicht.