34 votos

¿Cuáles son los números naturales?

¿Qué son los números naturales?

Es una pregunta válida? Mi entendimiento es que un conjunto de satisfacciones axiomas de Peano se llama "los números naturales" y de que uno construye los números enteros, números racionales, números reales, etc. Pero sin ninguna singularidad teorema ¿cómo podemos llamar a esto "los" números naturales? Si cualquier conjunto de satisfacer los axiomas se llama números naturales, entonces tal vez no hay "números naturales" como un objeto definido como la conocemos en el mundo real, sino tan sólo una clase de objetos de la satisfacción de ciertos axiomas, como Noetherian anillos?

27voto

JoshL Puntos 290

Ravichandran la respuesta está en lo cierto: los números naturales son los números 0, 1, 2, 3, ... . Podemos entender estos números, basado en nuestra inductivo definición de cómo contar en inglés o en otro idioma natural, incluso antes de que podamos crear un sistema de axiomas para ellos.

El estándar de la lista de axiomas que utilizamos para caracterizar los números naturales fue declarado por Peano. Varias personas han llevado la lógica de primer orden en las respuestas aquí, pero eso no es lo que usted desea utilizar para establecer categoricity (volveré a esto). Dedekind fue el primero en demostrar que podemos axiomatize los números naturales de manera que todos los modelos de nuestros axiomas son isomorfos, con la segunda orden de la lógica de segundo orden de la semántica.

Teorema (después de Dedekind). Decir que tenemos dos estructuras de $(A, 0_A, S_A)$ y $(B, 0_B,S_B)$ de cada una de las cuales es un modelo de los axiomas de Peano para los números naturales con el sucesor, y cada uno de los cuales tiene la propiedad de que cada nonempy subconjunto del dominio tiene al menos un elemento. Luego hay un bijection $f\colon A \a B$ tal que $f(0_A) = 0_B$ y para todo $a \in A$ $f(S_A(a)) = S_B(f(a))$.

El teorema se demuestra usando el axioma de inducción en repetidas ocasiones, pero la idea es completamente transparente. Supongamos que Sísifo se asigna una nueva tarea. Él va a contar todos los números naturales en el orden en griego, mientras que un compañero de alma torturada cuentan todos los números naturales en el orden en inglés, a la misma velocidad como Sísifo. Sólo se basa en Ravichandran la evaluación de lo que los números naturales son, el mapa que envía cada número hablado por Sísifo al número dicho por su compañero al mismo tiempo es, obviamente, un isomorfismo entre el "griego números naturales" y el inglés "números naturales."

Este argumento no puede ser capturado en la lógica de primer orden, ni siquiera en el primer fin de ZFC. Pero eso no es culpa de los números naturales: de la lógica de primer orden no puede dar una categórica conjunto de axiomas para cualquier infinita de la estructura. Dedekind la prueba se puede convertir en ZFC en el sentido de que muestra que los modelos de los axiomas de Peano en un determinado modelo de ZFC son todos isomorfo a cada uno de los otros en ese modelo. Por otra parte, ZFC es el sonido en el sentido de que las cosas se demuestra sobre los números naturales son correctos. Pero mientras que el uso de primer orden semántica de ZFC, no puede capturar completamente los números naturales.

El punto clave de segundo orden de la semántica es que "cada subconjunto no vacío" significa que cada subconjunto no vacío. Si una estructura $(A, 0_A, S_A)$ satisface un cierto conjunto finito de axiomas que son verdaderos en $\mathbb{N}$, entonces $\mathbb{N}$ puede ser identificado con un segmento inicial de $A$. En este caso, si $a - \mathbb{N}$ es no vacío no va a tener por lo menos un elemento, y por lo que $A$ no satisfará a los de segundo orden axiomas de Peano. De nuevo, este argumento no puede ser completamente capturado en la lógica de primer orden debido a que $\mathbb{N}$ no puede ser completamente capturada.

Incluso si pensamos en los axiomas de Peano como sólo se especifica un isomorfismo clase de estructuras, la situación no es como Noetherian anillos, donde hay muchos que no isomorfos ejemplos. $\mathbb{N}$ es más como el campo finito en dos elementos. A la pregunta de cuál es el modelo de la de segundo orden axiomas de Peano es realmente la "números naturales" es como la cuestión de que isomorfo copia de $F_2$ es "realmente" $F_2$. Es una excelente pregunta para los filósofos, pero como los matemáticos tenemos una perfectamente buena idea de lo $F_2$ es, hasta el isomorfismo, y una buena idea de lo que $\mathbb{N}$ es, hasta el isomorfismo. También tenemos axioma de sistemas que nos permiten probar cosas acerca de estas estructuras. $F_2$ es más fácil de aprehender, porque es finito, pero esto sólo hace que $\mathbb{N}$ más interesante.

10voto

Oded Puntos 271275

Mi comprensión es que, en el sentido constructivo, los números naturales son el menor conjunto inductivo. Por el Axioma de Infinitud, existe un conjunto inductivo, y la intersección de conjuntos inductivos es de nuevo un conjunto inductivo.

Para ver esto, recordemos que un conjunto $A$ es inductivo si $\emptyset\in A$, y para todos los $$, si $a\in A$, entonces $a^+\in A$, donde $a^+=a\cup\{a\}$ es el sucesor de $a$.

Ahora vamos a $T$ ser una familia no vacía de conjuntos inductivos. Por lo que $a\cap T$ también es inductivo, pues claramente $\emptyset\en\cap T$, y si $a\in\cap T$, entonces $a\in A$ para todo $A\in T$ desde cada $A$ es inductiva, por lo que $a^+\$ para todo $A\in T$, entonces $a^+\en\cap T$.

A continuación, puede definir un número natural a ser un conjunto que pertenece a todo conjunto inductivo. A ver que un conjunto $\omega$ de estos conjuntos en realidad existe, considera $A$ ser un conjunto inductivo. A continuación, vamos a $$T=\{K\in\mathscr{P}(A)\ |\ K\textrm{ es inductivo}\}$ de$ Manera $A\in T$, lo $T\neq\emptyset$. Deje que $\omega=\bigcap_{K\T}K$. De hecho, $\omega$ consiste exactamente en el de los números naturales en virtud de esta definición. Para permitir $n\in\omega$, y dejar que $B$ a ser un conjunto inductivo. Entonces $A\cap B\T$, entonces $n\in A\cap B$ y por tanto $n\in B$. Por el contrario, vamos a de $n$ ser un número natural. Entonces $n\in K$ para todo $K\in T$, entonces $n\in\omega$. Así que la idea habitual de $\omega$ como el conjunto de los números naturales tiene sentido.

Así que los números naturales son, precisamente, la intersección de todos los conjuntos inductivos, es decir, los elementos que hay en cada conjunto inductivo. Además, este conjunto es único por Extensionality.

7voto

jwarzech Puntos 2769

En un "realista" perspectiva de que los números naturales son los números de contar, algo que podemos percibir a través de nuestras facultades racionales. En vista de los números naturales tienen una existencia independiente de cualquier axiomatization de sus propiedades.

Un "formalista" perspectiva no puede prometer mucho, si acaso, sobre un definido sistema de números naturales.

De hecho, la Peano axiomatization específicamente no caracterizar los números naturales, ya que es esencialmente incompleto de primer orden de la teoría (si es consistente, Gödel-Rosser).

Ni puede ser probado que los dos basados en modelos que satisfacen los axiomas de Peano son isomorfos, desde un primer orden de la teoría con un modelo de infinito cardinalidad de un modelo de cualquier cardinalidad infinita (Lowenheim-Skolem).

6voto

Chris Dale Puntos 268

En realidad los números naturales son 0,1,2,3,... hasta $\infty$.

Estos números también son números enteros, no fracciones o decimales y pueden ser utilizados para contar u ordenar.

3voto

HappyEngineer Puntos 111

Se suele decir que el teorema de la incompletitud de Gödel encuentra un teorema que es "cierto, pero no demostrable en la aritmética de Peano." Eso es porque hay modelos de Peano, donde esto no es cierto, pero nuestra intuición dice es cierto. Así que, en ese sentido, los "números naturales" son una idea más allá de los axiomas de Peano.

Por ejemplo, digamos que usted tiene un número entero polinomio $p(x_1,...,x_n)$, y desea saber si $p=0$ tiene soluciones con $x_i \in \mathbb{Z}$. Así, supongamos que podría mostrar esta pregunta era indecidible en la aritmética de Peano. Nuestra intuición es que en ese caso, podríamos obviamente nunca encontrar una numérico específico de solución, por lo que sería necesario un "no-estándar" modelo para esta ecuación tiene una solución. En otras palabras, tendríamos razón para decir que el undecidability de esta ecuación en axiomas de Peano indica que la ecuación no tiene solución en el intuitivo "números naturales."

La resolución de Hilbert del Décimo Problema muestra que hay udecidable problemas de este tipo.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X