Valóban, a feladat definíciója a nehézkes, de azért létezik programozás-elémélet, és ha már definiáltunk egy feladatot, akkor bizonyítható, hogy az adott program azt a feladatot oldja-e meg.