10 novembre - 16 novembre
Schema della sezione
-
-
-
The smn theorem (or parametrisation theorem) [§4.4 and proof in lecture notes (Theorem 11.2)]
-
-
-
- Universal function: definition and computability [§5.1, Appendix of §5]
- Computability of the inverse function, undecidability of the halting problem and of totality [§5.1]
-
-