Aprendimos sobre el concepto de enumeraciones de funciones. En la práctica, corresponden a lenguajes de programación. En un comentario pasajero, el profesor mencionó que la clase de todas las funciones totales (es decir, las funciones que siempre terminan para cada entrada) no es enumerable. Eso...