2a) Definieren Sie eine Funktion sum, die die Summe von n natürlichen Zahlen bildet.
Benutze die Formel für arithmetische Reihen: 1+2+3+…+n = 1/2 n (n+1)
sum: N→N
n ↦ sum(n) = 1/2 n(n+1)
2b) Korrigieren Sie die folgende Funktionsdefinition so, dass sie konsistent ist:
g:N→N
a ↦ g(a) = a4
(Eher nicht, aber allenfalls auch
g: N→N4
a ↦ g(a) = a4
Zu diesem Zweck hättet ihr aber N^irgendwas umdefinieren müssen)