Wie zeige/widerlege ich folgende Aussagen?
a) Jede totale, konvergente Funktion f: N -> N ist While-Berechenbar
b) Jede totale Funktion f: N -> N mit |im(f)| < unendlich ist While Berechenbar
c) Jede totale Funktion f: N -> N mit |f(n) - f(n+1)| = 1 ist While Berechenbar
d) Für alle f,g: N -> N gilt: Ist f While Berechenbar und h: N -> Z mit h(n) = f(n) - g(n) konvergent, dann ist auch g While Berechenbar