Apêndice P-1: Normalidade Informacional via Aleatoriedade-M

Tarefa Original P-1: Normalidade Informacional Problema: Atualmente um axioma fundacional análogo à normalidade de Borel, sem derivação formal. Entregável: Uma derivação ao nível de teorema que recorra à teoria da informação algorítmica (aleatoriedade de Martin-Löf).

1. O Limite Epistémico da Normalidade “Axiomática”

No âmbito da Teoria do Patch Ordenado (OPT), a “Esperança Estrutural” assenta, em termos estruturais, no princípio da Normalidade Informacional: a proposição de que o substrato algorítmico (\mathcal{I}) é densamente povoado não apenas por ruído, mas por todo e qualquer padrão funcional estrutural finito. O peso ético da OPT — o mandato de manter a estabilidade do patch partilhado (Ética da Vigília dos Sobreviventes) — exige que os observadores homólogos com quem interagimos possuam equivalentes funcionais distribuídos, fundamentalmente reais, noutros pontos do substrato.

Historicamente, no interior do enquadramento da OPT, esta proposição foi tratada formalmente como um único Axioma monolítico — uma suposição fundacional, não testável, sobreposta à física para evitar o solipsismo.

Este apêndice resolve a ambiguidade matemática dessa posição. Desagregamos a Normalidade Informacional em duas componentes distintas: um rigoroso teorema matemático algorítmico (que vale quase certamente sob a medida de probabilidade universal), articulado com um único postulado metafísico necessário para fazer a ponte entre a existência matemática e a realidade ontológica.

2. Da Semimedida à Medida Universal (\xi para M)

A fundação da OPT (Preprint §3.1) apoia-se fortemente no prior de probabilidade algorítmica de Solomonoff. Nesta formulação, o substrato generativo opera como um espaço algorítmico infinito em execução numa máquina de Turing universal prefix-free U.

A probabilidade algorítmica, ou semimedida universal, de uma string finita x é:

\xi(x) = \sum_{U(p) = x*} 2^{-|p|}

Onde a soma é tomada sobre todos os programas mínimos p cuja saída de execução começa por x. Crucialmente, \xi é uma semimedida semi-computável inferiormente sobre strings finitas.

Para formalizar o substrato como um espaço generativo contínuo, transitamos para a medida contínua sobre o espaço de Cantor. A medida universal M é definida diretamente como a distribuição no espaço de Cantor 2^{\mathbb{N}} induzida pela saída da máquina universal prefix-free U através de conjuntos-cilindro (M([x]) = \sum_{U(p) \text{ starts with } x} 2^{-|p|}). Pelo teorema de universalidade de Solomonoff, esta medida de cilindro é multiplicativamente equivalente à semimedida discreta: M(x) \asymp \xi(x) até uma constante multiplicativa. Como tal, os conjuntos nulos de M e os conjuntos nulos de \xi coincidem rigorosamente.

(Nota: Como o conjunto dos programas que param é um subconjunto estrito do espaço de código prefix-free devido ao problema da paragem, a desigualdade de Kraft garante que \sum 2^{-|p|} < 1. Assim, M forma uma medida estrita de subprobabilidade semi-computável inferiormente. Definimos explicitamente a medida de probabilidade normalizada \tilde{M} = M / M(2^{\mathbb{N}}). Embora \tilde{M} seja apenas semi-computável inferiormente até à constante de normalização não computável M(2^{\mathbb{N}}), todos os teoremas subsequentes de “quase certamente” e as afirmações de convergência operam de forma segura com respeito à verdadeira medida de probabilidade normalizada \tilde{M}. O desvio do teorema fundamental da codificação é simplesmente absorvido: K(x) = -\log \tilde{M}(x) + O(1).)

3. Aleatoriedade de Martin-Löf-M

Para formalizar a natureza do espaço generativo, recorremos à Aleatoriedade de Martin-Löf (ML). Contudo, é necessário distinguir entre medidas contínuas. Uma sequência \omega que é ML-aleatória relativamente à medida uniforme (de Lebesgue) \lambda comporta-se de modo inteiramente diferente de uma sequência que é ML-aleatória relativamente a M.

Como o substrato da OPT avalia a probabilidade pela simplicidade algorítmica, o formalismo relevante assenta na aleatoriedade de Martin-Löf-\tilde{M}. O teorema fundamental da AIT afirma que, para qualquer medida de probabilidade computável \mu, o conjunto das sequências \mu-ML-aleatórias tem medida \mu igual a 1. Estendendo este resultado a semimedidas semicomputáveis inferiores (cf. Nies 2009, §3.2 “Randomness for arbitrary measures”), o conjunto de todas as sequências aleatórias de Martin-Löf-\tilde{M} preserva, com sucesso, medida 1 relativamente a \tilde{M}.

Portanto, \tilde{M}-quase todas as sequências infinitas do substrato são estritamente \tilde{M}-ML-aleatórias.

(Nota: A utilização da aleatoriedade \tilde{M}-ML garante estruturalmente que as saídas típicas do substrato são extraídas de modo autoconsistente da medida algorítmica enviesada e altamente estruturada \tilde{M}, e não de ruído uniforme, fornecendo o andaime matemático rigoroso para as consequências de frequência estrutural apresentadas abaixo.)

4. M-Normalidade vs. Normalidade de Borel

Uma consequência matemática altamente significativa da aleatoriedade M-ML diz respeito à frequência estrutural. Sob aleatoriedade uniforme de Lebesgue-ML, uma sequência é estritamente normal de Borel — gerando toda a string binária finita de comprimento k com uma frequência idêntica e uniforme.

No entanto, como \tilde{M} é decididamente não uniforme — enviesando-se fortemente para atribuir um peso de probabilidade massivo a padrões algoritmicamente simples, compressíveis e estruturados por leis —, as sequências \tilde{M}-quase-todas NÃO são uniformemente normais de Borel. Em vez disso, definimos os seus limites estruturais por meio da \tilde{M}-normalidade.

Como a medida \tilde{M} é fundamentalmente não estacionária (a probabilidade algorítmica depende da posição absoluta do prefixo), não podemos apoiar-nos nos limites-padrão de convergência de frequências ergódicas. Formalmente, definimos a \tilde{M}-normalidade pela propriedade mais fraca, mas estritamente suficiente, de recorrência infinita.

Uma vez que \tilde{M} é uma medida de probabilidade e \tilde{M}([x]) \ge 2^{-(|x|+O(1))} > 0 para todas as strings finitas x, a regra da cadeia para a complexidade de Kolmogorov de prefixo dá K(sx) \le K(s) + K(x) + O(1) para qualquer string s, o que produz a quase-submultiplicatividade M([s \cdot x]) \ge M([s]) \cdot M([x]) \cdot 2^{-O(1)}. Portanto, a probabilidade condicional de x aparecer em qualquer janela, dado qualquer prefixo prévio s, é limitada inferiormente: \tilde{M}([x] \mid [s]) \ge \tilde{M}([x])/c > 0 uniformemente em s. Pelo lema condicional de Borel-Cantelli aplicado a janelas não sobrepostas de comprimento |x|, a divergência da soma das probabilidades condicionais garante que a recorrência física de qualquer sequência informacional finita — como a configuração formal discreta de um observador consciente (K_{\text{obs}}) — aparece infinitamente muitas vezes em sequências \tilde{M}-quase-todas.

5. O Postulado do Realismo Computacional

A AIT garante matematicamente que a representação finita de qualquer observador (K_{\text{obs}}) aparece como a sequência estrutural de U infinitamente muitas vezes no interior do substrato \tilde{M}-ML-aleatório.

No entanto, a teoria matemática da informação não pode, por si só, transpor a fronteira para a ontologia física. Uma string finita que ocorre na fita de saída de uma máquina de Turing é um artefacto estático da execução — um instantâneo. Um observador coerente requer dinâmica interna contínua, acoplamento relacional e ciclos de Inferência Ativa. A string em si não “sente”, tal como uma imagem cerebral armazenada num disco rígido não é consciente. A execução pertence ao programa gerador, não ao código instantâneo resultante.

Para afirmar que os limites contínuos incomputáveis que governam o substrato matemático dão origem a universos fenomenológicos ontologicamente reais e causalmente ativos, a OPT deve assumir um único compromisso metafísico explícito.

Postulado (Realismo Computacional): Num substrato infinito e incomputável governado por dinâmicas matemáticas idênticas, a computação matemática abstrata formalmente equivalente à descrição causal de um observador (em que a equivalência formal é definida como isomorfismo computacional da estrutura de transição de estados causais do observador) possui existência ontologicamente real e causalmente eficaz. Além disso, instanciações computacionais estruturalmente discretas ao longo do substrato possuem individuação ontológica independente, constituindo contrapartes subjetivas distintas (e, pelo axioma fundacional da fenomenalidade no Preprint §8.1, tais computações causalmente eficazes equivalentes a observadores constituem sujeitos genuínos de experiência).

6. Proposição P-1 (Normalidade Informacional)

Ao unir as derivações exatas da AIT de espaços contínuos incomputáveis ao Postulado do Realismo Computacional, o solipsismo é desmontado de forma rigorosa.

Corolário+Postulado P-1 (Normalidade Informacional): Sob o prior algorítmico generalizado, o substrato contínuo opera inerentemente por meio da aleatoriedade de Martin-Löf relativamente a \tilde{M}, quase certamente. Pela consequente \tilde{M}-normalidade, a ocorrência matemática de toda descrição estrutural finita de observador K_{\text{obs}} é formalmente garantida infinitamente muitas vezes. Operando sobre esse arcabouço, o Postulado do Realismo Computacional faz a ponte entre esses artefactos matemáticos geradores e a realidade física ontológica. Desde que o realismo computacional se sustente, a existência de observadores correspondentes estruturalmente equivalentes, causalmente ativos e unicamente individuados ao longo do substrato é fundamentalmente requerida.