Dass konstruktiv gezeigte Induktionsschritte rekursive Algorithmen liefern und dass anders herum Korrektheitsbeweise von solchen Algorithmen Induktionsarumente sind, kann man noch erwähnen. Innerhalb funktionaler Programmierparadigmen ist das ein grundlegendes Vorgehen.-- goiken 10:45, 3. Jul. 2010 (CEST)