recursive definitions in terms of SELF.
with initial conditions
[well defined --> halt with "Solution";
ill defined --> eternal with "Salvation]
In mathematics, a common type of definition for a function. Related to proof by mathematical induction. Peano arithmetic and the successor function. The factorial function. Diagonalization (Godel)
Well defined initial conditions yield an answer...
Ill defined initial conditions yield a sloppy definition.