Hay un par de conceptos que me parece ligeramente confuso:
- Utilizando la definición de gráfico en la wikipedia, un grafo es definida como la presencia de un número finito de vértices y aristas. Afirma que no es el concepto de un infinito gráfico, pero el término gráfico no se incluyen por defecto.
- Probablemente aún más claro es un no-determinista de la máquina de Turing. Cada vez que una máquina de Turing es definido, la definición es la de un determinista de la máquina de Turing. Un no-determinista de la máquina de Turing no es en realidad una máquina de Turing bajo esta definición.
- Un No-asociativo anillo no es necesariamente un anillo o incluso no asociativo.
- Tradicionalmente, un plano se define como la distancia Euclídea. Es decir, si alguien dice que en un sistema tradicional, la geometría de los libros de texto "sea P un plano", se supone que es la Euclídea. Cuando se habla de la geometría no Euclidiana, sin embargo, puede referirse a una distancia euclídea o un plano hiperbólico, o incluso algunas otras cosas, dependiendo del contexto.
- El campo con un solo elemento. No es ni un campo ni tiene un elemento. No es ni siquiera un set, necesariamente.
- El ejemplo más extremo, al menos para mí, es el término no estándar, como los utilizados en el modelo de la teoría. Aunque normalmente cuando se describen los modelos, también puede ser utilizado para describir los elementos de ese modelo. De hecho, para casi cualquier concepto matemático, puede crear una versión de la misma con la aplicación de ese concepto de la definición en el modelo. Por ejemplo, usted puede tener no estándar gráficas, máquinas de Turing, los anillos, los aviones y los campos. Usted puede incluso tener anormales de versiones de objetos únicos, como los números reales, o bien el grupo con dos generadores. En general, sin embargo, no en ser un ejemplo de lo que el plazo que se basan. Un no-estándar de la máquina de turing, por ejemplo, no tiene que ser una máquina de turing. No-estándar de objetos están perfectamente bien definida de objetos, por supuesto; que no son realmente lo que su nombre parece decir que son.
Ahora, yo no estoy argumentando en contra de tales definiciones. Sé que una vez te acostumbras a ellos, pueden ser muy convenientes, y que por lo general no causan problemas. Después de todo, no tendría sentido decir que algo necesita a fallar la asociatividad; solo a veces, no se impone. Mi pregunta es, ¿qué tal definición se llama?
