On a Question of Hamkins'

Este artigo demonstra que não existe uma fórmula de Rosser extensiva de qualquer complexidade que satisfaça a pergunta de Hamkins, mas oferece uma resposta positiva ao substituir a extensão pela "extensão condicional", provando a existência de uma fórmula $\Pi^0_1$ extensiva e flexível, deixando em aberto o caso da "extensão consistente".

O essencial

Imagine que a matemática é um enorme livro de regras chamado PA (Aritmética de Peano). Dentro deste livro, existem muitas verdades que podemos provar seguindo as regras, e algumas verdades que, por mais que tentemos, o livro não consegue provar nem refutar.

O matemático Joel Hamkins fez uma pergunta curiosa sobre como criar uma "fórmula mágica" (chamada $\rho$) que pudesse decidir essas verdades indecisas de uma maneira muito específica.

Aqui está o resumo da pesquisa de Albert Visser, explicada de forma simples:

1. A Pergunta de Hamkins: O "Juiz Perfeito"

Hamkins queria saber se existe uma fórmula que funcione como um Juiz Perfeito para qualquer afirmação $\phi$ que você coloque na mesa.

Esse Juiz teria duas regras estritas:

• Regra da Independência: Se a teoria com a afirmação $\phi$ não entra em contradição (é consistente), o Juiz deve ser capaz de dizer "Sim" ($\rho$) ou "Não" ($\neg\rho$) sem quebrar o sistema. Ou seja, o Juiz deve ter liberdade para escolher qualquer lado.
• Regra da Extensãoalidade (A Regra da Justiça Cega): Se duas afirmações, $\phi$ e $\psi$, são logicamente equivalentes (significam a mesma coisa dentro das regras do livro), o Juiz deve dar o mesmo veredito para ambas. Se ele diz "Sim" para $\phi$, tem que dizer "Sim" para $\psi$.

Hamkins perguntou: Existe um Juiz assim?

2. A Resposta Negativa: O "Juiz Perfeito" não existe

Visser e sua equipe descobriram que não. É impossível criar esse Juiz Perfeito que seja ao mesmo tempo livre (independente) e estritamente justo (extensional).

A Analogia do Espelho Quebrado:
Imagine que você tem um espelho que reflete qualquer objeto. Se você colocar um objeto à esquerda ($\phi$) e um idêntico à direita ($\psi$), o espelho deve refleti-los da mesma forma.
Visser provou que, se você tentar fazer esse espelho decidir algo novo (independente) sobre o que está sendo refletido, o espelho vai quebrar. Ele entra em um ciclo lógico onde, para ser justo com uma versão de uma frase, ele é forçado a contradizer a si mesmo. É como tentar construir uma máquina que decide se ela mesma vai funcionar ou não, sem nunca travar.

Portanto, a resposta para Hamkins é não: não existe uma fórmula que seja ao mesmo tempo totalmente independente e totalmente justa com equivalências lógicas.

3. A Solução Criativa: O "Juiz Condicional"

Mas a história não acaba em derrota. Visser diz: "Ok, não podemos ter o Juiz Perfeito, mas podemos ter um Juiz Condicional".

Aqui, a regra da "Justiça Cega" (Extensãoalidade) é relaxada. O novo Juiz só precisa ser justo se a afirmação que você colocou na mesa for verdadeira (ou consistente).

• A Nova Regra: Se $\phi$ e $\psi$ são equivalentes, o Juiz só precisa dar o mesmo veredito para eles dentro do contexto de que $\phi$ é verdade.
• O Resultado: Com essa regra mais flexível, Visser conseguiu construir uma fórmula mágica ($\rho$) que funciona perfeitamente.

A Analogia do Camaleão:
Pense nessa nova fórmula como um camaleão.

• Se você colocar uma folha verde ($\phi$) e outra folha verde ($\psi$) em um fundo verde (uma teoria consistente), o camaleão fica verde para as duas.
• Mas, se o fundo mudar (a teoria ficar inconsistente), o camaleão pode mudar de cor.
  Esse camaleão é capaz de se adaptar a qualquer cenário possível (flexibilidade $\Pi^0_1$), permitindo que a matemática explore caminhos que antes pareciam bloqueados.

4. O Que Ainda é um Mistério?

O trabalho deixa uma porta entreaberta. Existe um meio-termo entre o "Juiz Perfeito" (que não existe) e o "Juiz Condicional" (que existe).

Chama-se Extensãoalidade Consistente.

• A pergunta é: E se o Juiz for obrigado a ser justo apenas quando as afirmações são consistentes, mas não precisa ser "condicional" no sentido de depender da verdade da afirmação?
• Visser diz: "Ainda não sabemos a resposta para isso". É o próximo grande desafio.

Resumo Final

• O Problema: Hamkins queria uma fórmula que fosse sempre justa com frases equivalentes e sempre livre para decidir.
• A Descoberta: Isso é impossível. Tente fazer isso e a lógica entra em colapso.
• O Avanço: Se aceitarmos que a fórmula só precisa ser justa dentro do contexto da frase, conseguimos criar uma ferramenta matemática poderosa e flexível.
• O Futuro: Ainda precisamos descobrir se existe uma versão intermediária que funcione.

Em suma, Visser mostrou que, na matemática, às vezes precisamos trocar a "justiça absoluta" por uma "justiça contextual" para conseguir avançar e descobrir novas verdades.

Resumo técnico

Aqui está um resumo técnico detalhado do artigo "On a Question of Hamkins" de Albert Visser, apresentado em português.

1. O Problema (A Questão de Hamkins)

O artigo aborda uma questão levantada por Joel Hamkins (em [Ham22]) sobre a existência de uma fórmula específica na aritmética de Peano (PA). A questão é:

Existe uma fórmula $\Pi^0_1$, denotada por $\rho(x)$, que satisfaça simultaneamente duas propriedades fundamentais?

1. Independência: Se a teoria $PA + \varphi$ for consistente, então tanto $PA + \varphi + \rho(\ulcorner\varphi\urcorner)$ quanto $PA + \varphi + \neg\rho(\ulcorner\varphi\urcorner)$ também são consistentes. (Ou seja, $\rho(\ulcorner\varphi\urcorner)$ é independente de $PA + \varphi$).
2. Extensionalidade: Se $PA \vdash \varphi \leftrightarrow \psi$, então $PA \vdash \rho(\ulcorner\varphi\urcorner) \leftrightarrow \rho(\ulcorner\psi\urcorner)$. (Ou seja, a fórmula trata fórmulas equivalentes de forma idêntica dentro da própria teoria base).

Uma fórmula que satisfaz ambas as propriedades é chamada de Fórmula de Rosser Extensional. Hamkins perguntou se tal fórmula existe, permitindo que ela tivesse qualquer complexidade lógica.

2. Metodologia e Abordagem

Visser utiliza uma combinação de técnicas de teoria da prova, lógica modal e aritmetização da prova. A metodologia divide-se em duas partes principais:

• Refutação da Existência (Seção 2): O autor utiliza um argumento de ponto fixo (fixed-point) clássico, adaptado para demonstrar uma contradição interna se assumirmos a existência de tal fórmula. O argumento explora a interação entre a consistência da teoria e a extensão da equivalência provável.
• Construção Positiva com Enfraquecimento (Seções 3 e 4): Para obter um resultado positivo, Visser enfraquece a condição de Extensionalidade para Extensionalidade Condicional.
  • Definição: Se $PA \vdash \varphi \leftrightarrow \psi$, então $PA + \varphi \vdash \rho(\ulcorner\varphi\urcorner) \leftrightarrow \rho(\ulcorner\psi\urcorner)$.
  • A construção baseia-se em provas lentas (slow provability) e provas uniformes, conceitos desenvolvidos anteriormente por Visser e Shavrukov.
  • Utiliza-se a aritmetização de provas onde se define uma noção de "pequenez" (smallness) para axiomas. Uma prova é considerada "lenta" se deriva de axiomas que são "pequenos" em um sentido interno à teoria.

3. Principais Resultados

A. Resultado Negativo (Inexistência de Rosser Extensional)

Teorema 2.1: Não existe nenhuma fórmula de Rosser extensional (de qualquer complexidade) sobre uma teoria consistente $U$ que estenda a teoria de Tarski-Mostowski-Robinson ($R$).

• Esboço da Prova: Assume-se a existência de $\rho(x)$. Constroem-se pontos fixos $\varphi_0 \leftrightarrow \rho(\ulcorner\varphi_0\urcorner)$ e $\varphi_1 \leftrightarrow \neg\rho(\ulcorner\varphi_1\urcorner)$.
• Pela propriedade de Independência, conclui-se que $\neg\varphi_0$ e $\neg\varphi_1$ são prováveis.
• Pela Extensionalidade, como $\varphi_0$ e $\varphi_1$ são ambos equivalentes a $\bot$ (falso) na teoria, $\rho(\ulcorner\varphi_0\urcorner)$ e $\rho(\ulcorner\varphi_1\urcorner)$ devem ser equivalentes a $\rho(\ulcorner\bot\urcorner)$.
• Isso leva a uma contradição: a teoria prova tanto $\rho(\ulcorner\bot\urcorner)$ quanto $\neg\rho(\ulcorner\bot\urcorner)$, violando a consistência.
• Conclusão: A resposta à pergunta original de Hamkins é negativa.

B. Resultado Positivo (Fórmula Condicionalmente Extensional e Flexível)

O autor demonstra que, ao substituir a Extensionalidade total pela Extensionalidade Condicional, é possível construir tal fórmula com propriedades ainda mais fortes.

Teorema 4.12: Existe uma fórmula $\Pi^0_1$, denotada por $\rho(x)$ (construída via predicados de prova lenta $\triangle_\varphi$), tal que:

1. Flexibilidade $\Pi^0_1$: Se $U + \varphi$ é consistente, então para qualquer sentença $\Pi^0_1$ $\pi$, a teoria $U + \varphi + (\rho(\ulcorner\varphi\urcorner) \leftrightarrow \pi)$ é consistente.
   • Nota: Isso é mais forte que a independência simples. Significa que o valor de verdade de $\rho(\ulcorner\varphi\urcorner)$ pode ser arbitrariamente ajustado para coincidir com qualquer sentença $\Pi^0_1$ sem quebrar a consistência.
2. Extensionalidade Condicional: Se $PA \vdash \varphi \leftrightarrow \psi$, então $PA + \varphi \vdash \rho(\ulcorner\varphi\urcorner) \leftrightarrow \rho(\ulcorner\psi\urcorner)$.

A construção utiliza predicados de prova de Feferman baseados em enumerações de axiomas que são "pequenos" (small) em relação à prova, garantindo que a lógica de Löb seja satisfeita dentro do contexto da prova lenta.

4. Questão Aberta

O artigo deixa uma questão importante em aberto (Questão 1.2):
Existe uma fórmula de Rosser que satisfaça a Extensionalidade Consistente?

• Definição: Se $PA \nvdash \neg\varphi$ (ou seja, $\varphi$ é consistente com PA) e $PA \vdash \varphi \leftrightarrow \psi$, então $PA \vdash \rho(\ulcorner\varphi\urcorner) \leftrightarrow \rho(\ulcorner\psi\urcorner)$.
• Esta condição está estritamente entre a Extensionalidade total (que é impossível) e a Extensionalidade Condicional (que é possível). O autor considera que o problema de Hamkins só está parcialmente resolvido até que esta questão seja respondida.

5. Significado e Contribuições

1. Resolução de um Problema Aberto: O artigo resolve definitivamente a questão original de Hamkins, mostrando que a combinação de Independência e Extensionalidade total é impossível para fórmulas de Rosser.
2. Refinamento da Necessidade de Enfraquecimento: Demonstra que a extensão da equivalência provável para fórmulas independentes exige que a equivalência seja verificada apenas no contexto da teoria estendida ($PA + \varphi$), e não na teoria base absoluta.
3. Generalização da Flexibilidade: Introduz e prova a existência de fórmulas $\Pi^0_1$ que são não apenas independentes, mas flexíveis (podem assumir qualquer valor de verdade compatível com sentenças $\Pi^0_1$), generalizando o conceito de sentenças de Rosser.
4. Técnicas de Prova Lenta: O trabalho avança o uso de "provas lentas" e "pequenez uniforme" como ferramentas para construir predicados de prova com propriedades lógicas específicas (como satisfazer as condições de Löb em contextos restritos), oferecendo novas ferramentas para a teoria da prova e a lógica da incompletude.

Em suma, Visser demonstra que a "extensionalidade" estrita é incompatível com a independência de Rosser, mas que uma versão condicional permite a construção de fórmulas extremamente poderosas e flexíveis dentro da aritmética.