Debe diseñar su función para cumplir con las especificaciones.
Prácticas de programación es que no la misma como pura matemática. Tiene diferentes objetivos y diferentes métodos y estándares diferentes a la matemática de campo. Tratando de discutir con su profesor acerca de esto significa que usted está argumentando especificaciones, no los principios matemáticos. Como desarrollador, la felicito por el pensamiento de este caso extremo y preguntar al respecto. Eso es lo que un desarrollador debe hacer: aclarar las especificaciones con el cliente. Y en este caso, es algo que los matemáticos hacen, también. Como se puede ver en los comentarios, sólo hablaremos de divisibilidad entre 0 si usted explicar qué marco matemático (o, equivalentemente, lo axiomas) que trabaja bajo. El contexto lo es todo en ambos campos.
Las discusiones acerca de la divisibilidad son generalmente motivados por la necesidad de dividir en realidad una cosa por otra. Como resultado, es importante darse cuenta de que un lenguaje de programación o especificación puede definir la aritmética para ser lo que se considera útil. Para la aritmética de enteros, $\frac{0}{0}$ $0 \mod 0$ es generalmente definida como un error. Para la aritmética de punto flotante, los idiomas que he probado considerada $\frac{0.0}{0.0}$ $0.0 \mod 0.0$ ser NaN o un error. En este marco matemático, la división por cero no tiene sentido, así que tiene sentido decir que la divisibilidad por cero es falso, incluso si hemos específicamente para definir la divisibilidad por lo que es el caso.
Incluso en la aritmética normal marco sobre los números reales, sin embargo, la división por cero es un extraño caso extremo. En muchos contextos, es simplemente considerada una indefinida cantidad, en particular, ya que no es de interés para muchos de los campos que vamos a cubrir en su educación temprana. (Que es lo que le contaron en la escuela secundaria álgebra, ¿verdad?) En estos marcos, podemos hacer que todo sea más simple y más intuitivo mediante la definición de que nada se puede dividir por cero. Puede haber exóticas teorías que otorgan a $\frac{0}{0}$ o $\frac{a}{0}$ algún valor, y en estos marcos, podría tener sentido utilizar una definición diferente de la divisibilidad. Pero es poco probable para encontrar todas las situaciones en que estos son útiles si estás cursando una carrera en desarrollo de software (salvo en la construcción de software para los matemáticos).
Si quieres saber por qué los lenguajes de programación definen sus aritmética de esta manera, lo hacen porque es una definición útil para la gran mayoría de los cálculos numéricos en el software. La mayoría del software no es la intención de dividir cualquier número por cero, y tratando de calcular otros resultados después de encontrar que el resultado será una tontería para una respuesta final. Como resultado, casi siempre es mejor para su programa para dar una obviamente absurdo respuesta tan pronto como sea posible, así que usted puede descubrir que usted tiene un error en su código, en lugar de preguntarse por qué usted está consiguiendo $0$ en este raro caso de que usted supuestos fallado.
Me doy cuenta de que esto no es realmente una respuesta matemática. Pero creo que es la respuesta a la OP de la pregunta. Si usted siente que esto no pertenecen a este SE, me animo a cerrar la pregunta, tal vez con la migración a otro SE.
