David Speyer escribió cómo yo diría que en la práctica, en un contexto en el que yo estaba escribiendo sobre un negro/pizarra. He aquí cómo yo diría que en un pub o caminando por la calle:
"Vamos a definir una representación de mapa para X' [o de su preferencia, la jerga] para ser solo algunas parcial de la función de nu, a partir de los números naturales a X. Entonces podemos definir una secuencia computable para que la representación de mapa de nu para ser cualquier función de s, a partir de los números naturales X, que [es consistente con / de acuerdo con / se extiende] la composición de nu con una computable de la función f en los números naturales."
Cuando se utiliza el lenguaje natural, elegir sus nombres sabiamente y les caracterizan. ¿Te preocupas por el par ordenado $(X,\nu_X)$, o en realidad sólo el mapa de $\nu_X$ (para el que $X$ es sólo el fondo contra el cual la idea se presenta)? ¿Cuál es el papel de la parcial mapa de $\nu_X$ en la idea de que se está comunicando? ¿Te preocupas por los enteros $f(n) \in \mathop{\mathrm{dom}}(\nu_X)$ más que cuantificar, o realmente solo el dominio de la función de composición $\nu_X \circ f$?
Identificar los personajes principales en la sinopsis de su juego, y sus funciones: usted tendrá una mejor oportunidad de transportar los objetos y morfismos de su idea fielmente a sus interlocutores.
