Informateci

- Perché la dimostrazione per diagonalizzazione non funziona per le funzioni parziali? Perché non potrei estendere le definizioni includendo TOT o EXT?
- Dimostrazione che EXT non è ricorsivo.
- Dimostrazione che se A è un iirf diverso da vuoto e N, allora K si riduce ad A oppure K si riduce ad A ...