En lógica matemática , una teoría ω-consistente (o omega-consistente , también llamada numéricamente segregativa ) [1] es una teoría (colección de oraciones ) que no solo es (sintácticamente) consistente [2] (es decir, no prueba una contradicción ), sino que también evita probar ciertas combinaciones infinitas de oraciones que son intuitivamente contradictorias. El nombre se debe a Kurt Gödel , quien introdujo el concepto en el curso de la prueba del teorema de incompletitud . [3]
Se dice que una teoría T interpreta el lenguaje de la aritmética si existe una traducción de fórmulas aritméticas al lenguaje de T de modo que T es capaz de demostrar los axiomas básicos de los números naturales bajo esta traducción.
Una T que interpreta la aritmética es ω-inconsistente si, para alguna propiedad P de los números naturales (definida por una fórmula en el lenguaje de T ), T prueba P (0), P (1), P (2), y así sucesivamente (es decir, para cada número natural estándar n , T prueba que P ( n ) se cumple), pero T también prueba que hay algún número natural n tal que P ( n ) falla . [2] Esto puede no generar una contradicción dentro de T porque T puede no ser capaz de probar para cualquier valor específico de n que P ( n ) falla, solo que existe tal n . En particular, tal n es necesariamente un entero no estándar en cualquier modelo para T (Quine ha llamado a tales teorías "numéricamente insegregativas"). [4]
T es ω-consistente si no es ω-inconsistente.
Hay una propiedad más débil pero estrechamente relacionada con la Σ 1 -solidez. Una teoría T es Σ 1 -solidez (o 1-consistencia , en otra terminología) [5] si cada Σ 0 1 -oración [6] demostrable en T es verdadera en el modelo estándar de aritmética N (es decir, la estructura de los números naturales habituales con adición y multiplicación). Si T es lo suficientemente fuerte como para formalizar un modelo razonable de computación , la Σ 1 -solidez es equivalente a exigir que siempre que T demuestre que una máquina de Turing C se detiene, entonces C se detiene realmente. Toda teoría ω-consistencia es Σ 1 -solidez, pero no al revés.
De manera más general, podemos definir un concepto análogo para niveles superiores de la jerarquía aritmética . Si Γ es un conjunto de enunciados aritméticos (típicamente Σ 0 n para algún n ), una teoría T es Γ-sólida si cada Γ-oración demostrable en T es verdadera en el modelo estándar. Cuando Γ es el conjunto de todas las fórmulas aritméticas, la Γ-sólida se llama simplemente solidez (aritmética) . Si el lenguaje de T consiste únicamente en el lenguaje de la aritmética (en oposición a, por ejemplo, la teoría de conjuntos ), entonces un sistema sólido es aquel cuyo modelo puede considerarse como el conjunto ω, el conjunto usual de números naturales matemáticos. El caso de T general es diferente, véase ω-lógica a continuación.
La solidez de Σ n tiene la siguiente interpretación computacional: si la teoría demuestra que un programa C que utiliza un oráculo Σ n −1 se detiene, entonces C en realidad se detiene.
Escriba PA para la teoría aritmética de Peano y Con(PA) para el enunciado de la aritmética que formaliza la afirmación "PA es consistente". Con(PA) podría tener la forma "Ningún número natural n es el número de Gödel de una prueba en PA de que 0=1". [7] Ahora bien, la consistencia de PA implica la consistencia de PA + ¬Con(PA). De hecho, si PA + ¬Con(PA) fuera inconsistente, entonces PA por sí sola probaría ¬Con(PA)→0=1, y un reductio ad absurdum en PA produciría una prueba de Con(PA). Por el segundo teorema de incompletitud de Gödel , PA sería inconsistente.
Por lo tanto, suponiendo que PA es consistente, PA + ¬Con(PA) también es consistente. Sin embargo, no sería ω-consistente. Esto se debe a que, para cualquier n particular , PA, y por lo tanto PA + ¬Con(PA), demuestra que n no es el número de Gödel de una prueba de que 0=1. Sin embargo, PA + ¬Con(PA) demuestra que, para algún número natural n , n es el número de Gödel de tal prueba (esto es solo una reformulación directa de la afirmación ¬Con(PA)).
En este ejemplo, el axioma ¬Con(PA) es Σ 1 , por lo tanto, el sistema PA + ¬Con(PA) es de hecho Σ 1 -inexacto, no solo ω-inconsistente.
Sea T PA junto con los axiomas c ≠ n para cada número natural n , donde c es una nueva constante añadida al lenguaje. Entonces T es aritméticamente correcto (ya que cualquier modelo no estándar de PA puede expandirse a un modelo de T ), pero ω-inconsistente (ya que demuestra , y c ≠ n para cada número n ).
Las teorías Σ 1 -sonoras ω-inconsistentes que utilizan únicamente el lenguaje de la aritmética se pueden construir de la siguiente manera. Sea I Σ n la subteoría de PA con el esquema de inducción restringido a Σ n -fórmulas, para cualquier n > 0. La teoría I Σ n + 1 es finitamente axiomatizable, sea A su único axioma, y considere la teoría T = I Σ n + ¬ A . Podemos suponer que A es una instancia del esquema de inducción, que tiene la forma
Si denotamos la fórmula
por P ( n ), entonces para cada número natural n , la teoría T (en realidad, incluso el cálculo de predicados puro) prueba P ( n ). Por otra parte, T prueba la fórmula , porque es lógicamente equivalente al axioma ¬ A . Por lo tanto, T es ω-inconsistente.
Es posible demostrar que T es Π n + 3 -correcta. De hecho, es Π n + 3 - conservadora respecto de la teoría (obviamente correcta) I Σ n . El argumento es más complicado (se basa en la demostrabilidad del Σ n + 2 - principio de reflexión para I Σ n en I Σ n + 1 ).
Sea ω-Con(PA) la oración aritmética que formaliza la afirmación "PA es ω-consistente". Entonces la teoría PA + ¬ω-Con(PA) es incorrecta (Σ 3 -incorrecta, para ser precisos), pero ω-consistente. El argumento es similar al del primer ejemplo: una versión adecuada de las condiciones de derivabilidad de Hilbert – Bernays – Löb se cumple para el "predicado de demostrabilidad" ω-Prov( A ) = ¬ω-Con(PA + ¬ A ), por lo que satisface un análogo del segundo teorema de incompletitud de Gödel.
El concepto de teorías de la aritmética cuyos números enteros son los verdaderos números enteros matemáticos es capturado por la ω-lógica . [8] Sea T una teoría en un lenguaje contable que incluye un símbolo de predicado unario N destinado a contener solo los números naturales, así como los nombres especificados 0, 1, 2, ..., uno para cada número natural (estándar) (que pueden ser constantes separadas o términos constantes como 0, 1, 1+1, 1+1+1, ..., etc.). Nótese que T en sí mismo podría estar refiriéndose a objetos más generales, como números reales o conjuntos; por lo tanto, en un modelo de T, los objetos que satisfacen N ( x ) son aquellos que T interpreta como números naturales, no todos los cuales necesitan ser nombrados por uno de los nombres especificados.
El sistema de ω-lógica incluye todos los axiomas y reglas de la lógica de predicados de primer orden habitual, junto con, para cada T -fórmula P ( x ) con una variable libre especificada x , una ω-regla infinitaria de la forma:
Es decir, si la teoría afirma (es decir, prueba) P ( n ) por separado para cada número natural n dado por su nombre especificado, entonces también afirma P colectivamente para todos los números naturales a la vez mediante la contraparte evidente, finita y cuantificada universalmente de los antecedentes infinitos de la regla. Para una teoría de la aritmética, es decir, una con dominio previsto de los números naturales como la aritmética de Peano , el predicado N es redundante y puede omitirse del lenguaje, con el consecuente de la regla para cada P simplificándose a .
Un ω-modelo de T es un modelo de T cuyo dominio incluye los números naturales y cuyos nombres especificados y símbolo N se interpretan de manera estándar, respectivamente, como esos números y el predicado que tiene solo esos números como su dominio (de donde no hay números no estándar). Si N está ausente del lenguaje, entonces se requiere que lo que habría sido el dominio de N sea el del modelo, es decir, el modelo contiene solo los números naturales. (Otros modelos de T pueden interpretar estos símbolos de manera no estándar; el dominio de N ni siquiera necesita ser contable, por ejemplo). Estos requisitos hacen que la regla ω sea válida en cada ω-modelo. Como corolario del teorema de omisión de tipos , también se cumple lo inverso: la teoría T tiene un ω-modelo si y solo si es consistente en la ω-lógica.
Existe una estrecha relación entre la ω-lógica y la ω-consistencia. Una teoría consistente en la ω-lógica también es ω-consistente (y aritméticamente sólida). Lo contrario es falso, ya que la consistencia en la ω-lógica es una noción mucho más sólida que la ω-consistencia. Sin embargo, se cumple la siguiente caracterización: una teoría es ω-consistente si y solo si su clausura bajo aplicaciones no anidadas de la ω-regla es consistente.
Si la teoría T es recursivamente axiomatizable , la ω-consistencia tiene la siguiente caracterización, debida a Craig Smoryński: [9]
Aquí, es el conjunto de todas las oraciones Π 0 2 válidas en el modelo estándar de aritmética, y es el principio de reflexión uniforme para T , que consiste en los axiomas
para cada fórmula con una variable libre. En particular, una teoría T finitamente axiomatizable en el lenguaje de la aritmética es ω-consistente si y solo si T + PA es -correcta.
![{\displaystyle \para todo w\,[B(0,w)\land \para todo x\,(B(x,w)\to B(x+1,w))\to \para todo x\,B(x,w)].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b5e565450e1049cffc3e58a8e1acfc88d5da3cbd)
![{\displaystyle \para todo w\,[B(0,w)\land \para todo x\,(B(x,w)\to B(x+1,w))\to B(n,w)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee1ba9356c602dc84deae57603043f7407a121a7)
