Esercizi
[04B]Considerate l’insieme \(ℕ ^ℕ\) delle funzioni \(f:ℕ→ℕ\); e il sottoinsieme \(\mathcal A\) delle \(f\) che possono essere definite usando un algoritmo, scritto in un linguaggio di programmazione a piacere, supponendo inoltre che il computer che lo esegue abbia una memoria potenzialmente illimitata, e tale che per ogni scelta \(n∈ℕ\) in input l’algoritmo deve terminare e restituire \(f(n)\). Confrontate le cardinalità di \(ℕ ^ℕ\) e di \(\mathcal A\).
[ [04C]]