Title: Obliczalność funkcji definiowanych rekurencyjnie drogą wykonania programu równego definicjom