Kapitel 3

Aufzählbarkeit gerader Zahlen

Zu zeigen ist, dass die Menge der geraden Zahlen G aufzählbar ist. Es gilt eine Aufzählprozedur g:\N \mapsto G zu finden. g muss berechenbar und surjektiv sein.

Wenn es eine solche Funktion gibt, dann ist G aufzählbar.

g(n)=2k wobei n,k\in \N

Algorithmus: