Traccia 26/11/2009

1. Teorema di Rice , dimostrazione e mostrare un'applicazione
2. Dimostrare che la minimalizzazione limitata è ricorsiva primitiva
3. Dimostrare che il calcolo degli enunciati è completo