Diferencia entre revisiones de «Aritmética no estándar»
m (Bot) Normalización de fechas |
m Mantenimiento de Control de autoridades |
||
(No se muestran 3 ediciones intermedias de 3 usuarios) | |||
Línea 6: | Línea 6: | ||
El [[teorema de compacidad]] establece que una teoría axiomática posee un modelo si y sólo si cada subcolección finita de sus [[axiomas]] posee un modelo a su vez. |
El [[teorema de compacidad]] establece que una teoría axiomática posee un modelo si y sólo si cada subcolección finita de sus [[axiomas]] posee un modelo a su vez. |
||
Partiendo de la aritmética de Peano (o una teoría que la contenga), puede añadirse entonces una nueva constante {{math|1=''μ''}} y una serie infinita de axiomas dada por: |
Partiendo de la aritmética de Peano (o una teoría que la contenga), puede añadirse entonces una nueva constante {{math|1=''μ''}} y una serie infinita de axiomas dada por: |
||
{{ecuación|<math>\text{Nat}\,\mu \text{ , } \mu \neq \ |
{{ecuación|<math>\text{Nat}\,\mu \text{ , } \mu \neq \mathbf{0} \text{ , } \mu \neq \mathbf{1} \text{ , } \mu \neq \mathbf{2} \text{ , } \ldots \text{ , }</math>}} |
||
donde {{math|1=Nat ''μ''}} es la fórmula que afirma que {{math|1=''μ''}} es un número natural. El modelo en el que {{math|1=''μ''}} se interpreta como {{math|1='''n''' + '''1'''}} satisface todos los axiomas de la serie hasta {{math|1=''μ'' ≠ '''n'''}}, y esto basta para demostrar que todo subconjunto finito de estos axiomas tiene un modelo (suponiendo que la aritmética de Peano es consistente). |
donde {{math|1=Nat ''μ''}} es la fórmula que afirma que {{math|1=''μ''}} es un número natural. El modelo en el que {{math|1=''μ''}} se interpreta como {{math|1='''n''' + '''1'''}} satisface todos los axiomas de la serie hasta {{math|1=''μ'' ≠ '''n'''}}, y esto basta para demostrar que todo subconjunto finito de estos axiomas tiene un modelo (suponiendo que la aritmética de Peano es consistente). |
||
Línea 12: | Línea 12: | ||
=== Teorema de incompletitud === |
=== Teorema de incompletitud === |
||
También mediante el [[teorema de incompletitud]] puede demostrarse la existencia de modelos no estándar. El teorema de incompletitud afirma que existe una sentencia {{math|1=''G''}} que no puede ser probada ni refutada en la aritmética de Peano. Por el [[teorema de completitud de Gödel|teorema de completitud |
También mediante el [[teorema de incompletitud]] puede demostrarse la existencia de modelos no estándar. El teorema de incompletitud afirma que existe una sentencia {{math|1=''G''}} que no puede ser probada ni refutada en la aritmética de Peano. Por el [[teorema de completitud de Gödel|teorema de completitud semántica]], existe algún modelo en el cual {{math|1=''G''}} es falsa. Sin embargo, en el modelo estándar de la aritmética {{math|1=''G''}} es verdadera, luego cualquier modelo en el que sea falsa ha de ser no estándar. |
||
== Estructura == |
== Estructura == |
||
Línea 20: | Línea 20: | ||
== Referencias == |
== Referencias == |
||
* {{cita libro|apellidos=Boolos|nombre=George|apellidos2=Burgess|nombre2=John|apellidos3=Jeffrey|nombre3=Richard|título=Computability and Logic|editorial=Cambridge University Press|fecha=2002|isbn=978-0-521-00758-0}} |
* {{cita libro|apellidos=Boolos|nombre=George|apellidos2=Burgess|nombre2=John|apellidos3=Jeffrey|nombre3=Richard|título=Computability and Logic|editorial=[[Cambridge University Press]]|fecha=2002|isbn=978-0-521-00758-0}} |
||
* {{obra citada|apellidos=Ivorra|nombre=Carlos|título=Lógica y teoría de conjuntos|url=http://www.uv.es/ivorra/Libros/Logica.pdf|fechaacceso=4 de enero de 2011}}. |
* {{obra citada|apellidos=Ivorra|nombre=Carlos|título=Lógica y teoría de conjuntos|url=http://www.uv.es/ivorra/Libros/Logica.pdf|fechaacceso=4 de enero de 2011}}. |
||
Línea 26: | Línea 26: | ||
{{traducido ref|en|Non-standard model of arithmetic}} |
{{traducido ref|en|Non-standard model of arithmetic}} |
||
{{Control de autoridades}} |
|||
[[Categoría:Lógica matemática]] |
[[Categoría:Lógica matemática]] |
Revisión actual - 19:44 5 ago 2019
En lógica matemática, un modelo no estándar de la aritmética es un modelo para la aritmética de Peano (de primer orden) que contiene números no estándar. El modelo estándar de la aritmética es el compuesto por los números naturales {0, 1, 2, ...}, una sucesión infinita y numerable ordenada linealmente. Un modelo no estándar contiene elementos adicionales fuera de esta sucesión. La existencia de modelos no estándar para la aritmética fue demostrado por Thoralf Skolem en 1934.
Existencia
[editar]Teorema de compacidad
[editar]El teorema de compacidad establece que una teoría axiomática posee un modelo si y sólo si cada subcolección finita de sus axiomas posee un modelo a su vez. Partiendo de la aritmética de Peano (o una teoría que la contenga), puede añadirse entonces una nueva constante μ y una serie infinita de axiomas dada por:
donde Nat μ es la fórmula que afirma que μ es un número natural. El modelo en el que μ se interpreta como n + 1 satisface todos los axiomas de la serie hasta μ ≠ n, y esto basta para demostrar que todo subconjunto finito de estos axiomas tiene un modelo (suponiendo que la aritmética de Peano es consistente).
Por lo tanto, por el teorema de compacidad, dicha teoría aritmética modificada posee un modelo y es consistente, y este modelo es también un modelo de la aritmética de Peano; en el cual sin embargo existe un elemento distinto de 0, de 1, de 2, etc.
Teorema de incompletitud
[editar]También mediante el teorema de incompletitud puede demostrarse la existencia de modelos no estándar. El teorema de incompletitud afirma que existe una sentencia G que no puede ser probada ni refutada en la aritmética de Peano. Por el teorema de completitud semántica, existe algún modelo en el cual G es falsa. Sin embargo, en el modelo estándar de la aritmética G es verdadera, luego cualquier modelo en el que sea falsa ha de ser no estándar.
Estructura
[editar]Puede demostrarse que en cualquier modelo no estándar numerable, la estructura del orden de los números es siempre la misma: una sucesión infinita inicial -asimilable a los números estándar- seguida de un conjunto de cadenas de números no estándar, cada una de ellas sin mínimo ni máximo, donde el conjunto de estas cadenas a su vez no tiene cotas inferior ni superior y es denso. En otras palabras:
|
Sin embargo, en el caso de las operaciones de suma y multiplicación no existe una representación sencilla. Puede probarse que en ningún modelo numerable no estándar de la aritmética dichas operaciones son computables.
Referencias
[editar]- Boolos, George; Burgess, John; Jeffrey, Richard (2002). Computability and Logic. Cambridge University Press. ISBN 978-0-521-00758-0.
- Ivorra, Carlos, Lógica y teoría de conjuntos, consultado el 4 de enero de 2011..
Enlaces externos
[editar]- Esta obra contiene una traducción derivada de «Non-standard model of arithmetic» de Wikipedia en inglés, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional.