an dieser stelle sei ein hinweis auf "Gödel, Escher, Bach" von Douglas R. Hofstadter gestattet.

wenn wir schon bei rekursion zum thema rekursion sind... ich halte den xkcd link für gar nicht so unsinnvoll, eine tautologie ist ja per definition selbstreferentiell. fassen wir die definition "eine tautologie ist eine tautologie" als algorithmus auf und wenden ihn auf sich selbst an, erhalten wir ja "eine tautologie ist (eine tautologie ist eine (tautologie ist eine (...))"; also eine nicht-terminierende rekursion.

was, äh, irgendwie etwas war, was ich zeigen wollte, oder so.
sorry.
schlechter kommentar.