> The power of #recursion evidently lies in the possibility of defining an infinite set of objects by a finite statement. In the same manner, an infinite number of computations can be described by a finite #recursive program, even if this program contains no explicit repetitions.
— #NiklausWirth, Algorithms + Data Structures = Programs, 1976
https://en.wikipedia.org/wiki/Recursion_(computer_science)

Reminded me of a phrase from #Chomsky #NoamChomsky's #CartesianLinguistics: Language is "infinite use of finite means"