Anexo A. Tabela dos enunciados
249 enunciados: 72 Th, 43 F, 123 L, 6 P, 5 Estaleiro.
| N.º | Enunciado | Estatuto | Capítulo |
|---|---|---|---|
| 1.1 | Tese do volume: o obstáculo fabricado pela língua | L | 1 |
| 1.2 | Princípio de fecho | L | 1 |
| 1.3 | Princípio do limite | F | 1 |
| 1.4 | Princípio do estatuto | L | 1 |
| 1.5 | Princípio do nome | L | 1 |
| 1.6 | Princípio da ordem | L | 1 |
| 1.7 | Definição do limite (Cauchy, 1821; Weierstrass) | F | 1 |
| 1.8 | Definição da mistura do finito e do infinito | L | 1 |
| 1.9 | Definição das três marcas | L | 1 |
| 1.10 | O endereço: n = 9k + DR(n) | Th | 1 |
| 1.11 | Um só gesto sob três faces | L | 1 |
| 1.12 | Resultado principal da peça transversal | L | 1 |
| 2.1 | Alogos, arrhêtos, ratio | F | 2 |
| 2.2 | Uma razão sem razão | L | 2 |
| 2.3 | Arquimedes, Lambert, Lindemann | F | 2 |
| 2.4 | Nenhuma unidade comum à volta e ao diâmetro | Th | 2 |
| 2.5 | A palavra « razão » designa dois objetos (M1) | L | 2 |
| 2.6 | Toda escrita decimal finita de π é uma razão de inteiros | Th | 2 |
| 2.7 | A fração contínua de π e as suas reduzidas | Th | 2 |
| 2.8 | O número « perfeitamente definido » é um limite (M2) | L | 2 |
| 2.9 | O infinito nasce entre o círculo e a reta (M3) | L | 2 |
| 2.10 | Dalzell (1944): 22/7 − π é uma área | Th | 2 |
| 2.11 | O afastamento enquadrado sem decimal | Th | 2 |
| 2.12 | Lucas (2005): a reduzida seguinte tem a mesma forma | Th | 2 |
| 2.13 | O par em torno do centro | Th | 2 |
| 2.14 | O afastamento entre a conta e a volta é uma área finita | L | 2 |
| 2.15 | « Razão » não pode guardar o mesmo sentido de uma frase para a outra | Th | 2 |
| 2.16 | π é uma relação, não uma posição | L | 2 |
| 2.17 | Leitura de π pelas três marcas | L | 2 |
| 2.18 | Tese do autor: a fonte da mistura | L | 2 |
| 2.19 | O fim como nada, e os dois zeros | L | 2 |
| 2.20 | O que refutaria a leitura de π | L | 2 |
| 3.1 | O enunciado de Riemann e a sua região | F | 3 |
| 3.2 | Euler (1737): nenhum zero para além de 1 | Th | 3 |
| 3.3 | A série de Dirichlet diverge em todo zero não trivial | Th | 3 |
| 3.4 | Nenhum zero de fecho para um produto de fatores não nulos | Th | 3 |
| 3.5 | ζ na banda é o limite do afastamento entre a soma e a área | Th | 3 |
| 3.6 | Teorema de impossibilidade | Th | 3 |
| 3.7 | A fórmula de Abel define ζ na banda | Th | 3 |
| 3.8 | As quatro portas: cada uma avança de um lado e retira do outro | Th | 3 |
| 3.9 | A fórmula de Hermite, forma fechada da porta (i) | Th | 3 |
| 3.10 | Corolário do zero | Th | 3 |
| 3.11 | O dilema | Th | 3 |
| 3.12 | A fórmula explícita (Riemann, 1859; von Mangoldt, 1895) | F | 3 |
| 3.13 | Leitura de ζ pelas três marcas | L | 3 |
| 3.14 | A dificuldade deve-se à transferência de estatuto | L | 3 |
| 3.15 | A função de Mertens e a hipótese de Riemann | F | 3 |
| 3.16 | As duas contas e o seu afastamento | Th | 3 |
| 3.17 | O par (A, B) é o objeto completo | L | 3 |
| 3.18 | O alvo aritmético do corpus para Riemann | Chantier | 3 |
| 3.19 | O que refutaria o teorema de impossibilidade e o dilema | L | 3 |
| 3.20 | O que refutaria a leitura das portas | L | 3 |
| 3.21 | O que enfraqueceria a leitura das duas contas | L | 3 |
| 4.1 | O afastamento de uma posição ao seu inverso só se anula em 4,5 | Th | 4 |
| 4.2 | Um zero não é uma posição | L | 4 |
| 4.3 | A manteiga | L | 4 |
| 4.4 | Os zeros da banda são exatamente os zeros de η | Th | 4 |
| 4.5 | O dinheiro da manteiga: o dobramento e a subtração contabilística | L | 4 |
| 4.6 | A lavradora | L | 4 |
| 4.7 | A contradição cabe numa única função | L | 4 |
| 4.8 | A função completa é real na reta ½ | Th | 4 |
| 4.9 | O quarto termo: « nenhuma órbita de quatro » | L | 4 |
| 4.10 | Davenport e Heilbronn (1936): a simetria sozinha não segura os zeros no centro | F | 4 |
| 4.11 | A contraprova da fábula | L | 4 |
| 4.12 | O selo e o vazio sob um mesmo sinal | L | 4 |
| 4.13 | Não é a fórmula que está em causa, é a porta | L | 4 |
| 4.14 | O critério de Lagarias (2002) | F | 4 |
| 4.15 | A desigualdade vale de 2 a 100 000 | Th | 4 |
| 4.16 | Uma lei da relação escrita sem infinito | L | 4 |
| 4.17 | Se a hipótese nunca puder ser decidida, é verdadeira | Th | 4 |
| 4.18 | O « nunca » do autor implica o « verdadeiro » | L | 4 |
| 4.19 | Riemann, aluno de Gauss | F | 4 |
| 4.20 | A memória de 1859 parte de Euler | F | 4 |
| 4.21 | A segunda prova da simetria é feita de quadrados | F | 4 |
| 4.22 | A relação de Jacobi e a porta de Riemann verificam-se | Th | 4 |
| 4.23 | Duplicar e elevar ao quadrado só coincidem em 4; o quadrado não distingue o inverso | Th | 4 |
| 4.24 | Riemann viu a troca; não viu o vazio | L | 4 |
| 4.25 | O aluno do Euler que conta teria selado | L | 4 |
| 4.26 | A fábula inteira | L | 4 |
| 4.27 | O manuscrito da OpenAI sobre Riemann (tornado público a 6 de outubro de 2026) | F | 4 |
| 4.28 | O manuscrito escreve ele próprio as três peças do paradoxo | F | 4 |
| 4.29 | Com quadrados e o sino, aproximam-se muros | L | 4 |
| 5.1 | O produto de Euler (1737) | F | 5 |
| 5.2 | A fatorização única, demonstrada em Gauss | F | 5 |
| 5.3 | Cada fator conta os empregos de um primo; cada inteiro sai uma vez | Th | 5 |
| 5.4 | O número de empregos de um primo é o seu número de voltas | L | 5 |
| 5.5 | O produto de Euler é o gesto inverso do dobramento de 1801 | L | 5 |
| 5.6 | A fila e a relação são o mesmo objeto | L | 5 |
| 5.7 | Retirar o fator de 3 é retirar o eixo; ficam os dois carris | Th | 5 |
| 5.8 | Os fatores 2 e 3 retirados juntos deixam a grelha 6k ± 1 | Th | 5 |
| 5.9 | Os compostos da grelha são quatro famílias | Th | 5 |
| 5.10 | O produto de Euler é a grelha escrita em multiplicação | L | 5 |
| 5.11 | Um crivo que nada risca | L | 5 |
| 5.12 | O cadastro corta ζ em nove carris de Hurwitz | Th | 5 |
| 5.13 | O produto é o fecho; um carril sozinho é um par cortado | L | 5 |
| 5.14 | ζ não tem nenhum zero real entre 0 e 1 | Th | 5 |
| 5.15 | A forma ARC da hipótese de Riemann | L | 5 |
| 5.16 | Os tijolos 2 e 3 engendram tudo de 1 a 30, salvo 1 e 4 | Th | 5 |
| 5.17 | Uma órbita de quatro seria um tijolo dobrado, não uma relação | L | 5 |
| 5.18 | O quarto termo só tem lugar no contínuo | L | 5 |
| 5.19 | Fechada na língua do corpus, aberta na do anfitrião | L | 5 |
| 6.1 | π e os zeros de ζ carregam ambos as marcas M1 e M2 | Th | 6 |
| 6.2 | A terceira marca, e um só gesto | L | 6 |
| 6.3 | Uma só palavra cobre o que se conta e o que se percorre | L | 6 |
| 6.4 | Tese do autor: se os dois extremos carregam a mistura, todo o entremeio a carrega | L | 6 |
| 6.5 | Huygens mede o movimento sem o limite | F | 6 |
| 6.6 | O gesto não é necessário, e é datado | L | 6 |
| 6.7 | Cento e cinquenta entradas, uma só vista sob cento e cinquenta ângulos | L | 6 |
| 6.8 | O endereço fecha sem limite | L | 6 |
| 6.9 | O mapa refuta-se linha a linha | L | 6 |
| 6.10 | Resultado principal: um mesmo erro, demonstrado nos dois extremos e datado no entremeio | L | 6 |
| 7.1 | A fronteira tem um endereço: dois contra três | F | 7 |
| 7.2 | O dobro e o quadrado só coincidem em n = 2 | Th | 7 |
| 7.3 | Nenhum objeto de dois termos; o terceiro paga | L | 7 |
| 7.4 | A pré-imagem da porta E não é uma classe (março de 2026, conservado) | Th | 7 |
| 7.5 | Irredutibilidade de 3 em (ℤ/2ℤ)ⁿ (março de 2026, conservado) | Th | 7 |
| 7.6 | Definição: a pré-imagem amorfa | L | 7 |
| 7.7 | Uma pré-imagem amorfa não implica uma busca difícil | Th | 7 |
| 7.8 | Razborov e Smolensky (1987): a conta por 3 escapa aos circuitos que contam por 2 | F | 7 |
| 7.9 | Cada separação foi paga por um terceiro | F | 7 |
| 7.10 | A dicotomia de Schaefer (1978) | F | 7 |
| 7.11 | Schaefer lido como fronteira entre estrutura e amorfismo (março de 2026, conservado como Leitura) | L | 7 |
| 7.12 | Reserva: a fronteira não é só a aridade | F | 7 |
| 7.13 | O terceiro que custa | L | 7 |
| 7.14 | Fazer caber 3 em 2 exige um terceiro pago de fora | L | 7 |
| 7.15 | O lema da partição em potências de 2 | Th | 7 |
| 7.16 | Caracterização afim | Th | 7 |
| 7.17 | Desfazer não é inverter (Bennett) | L | 7 |
| 7.18 | A pobreza booleana | Th | 7 |
| 7.19 | A riqueza cadastral | Th | 7 |
| 7.20 | O afastamento de simulação (retrogradado) | L | 7 |
| 7.21 | A hierarquia cadastral das compressões | L | 7 |
| 7.22 | A sedimentação dos produtos consecutivos | Th | 7 |
| 7.23 | A multiplicação por vizinhos é uma sedimentação | L | 7 |
| 7.24 | O princípio do tabuleiro de xadrez: o determinismo cria a liberdade | L | 7 |
| 7.25 | O paralelo com Yang-Mills (março de 2026) | L | 7 |
| 7.26 | C-1: fazer subir Smolensky para além da profundidade limitada | Chantier | 7 |
| 7.27 | C-2: a fronteira de Schaefer lida a partir dos órfãos | Chantier | 7 |
| 7.28 | P-1 (10 de setembro de 2026): as separações da década passarão por um terceiro | P | 7 |
| 7.29 | P-2 (10 de setembro de 2026): se o problema nu for resolvido, será P ≠ NP | P | 7 |
| 8.1 | A porta E sobre n bits | Th | 8 |
| 8.2 | O muro das provas naturais (Razborov e Rudich, 1997) | F | 8 |
| 8.3 | A hipótese do muro já contém a separação | Th | 8 |
| 8.4 | Os bits da dobra são a escrita da conta das voltas | Th | 8 |
| 8.5 | O pseudoaleatório é uma sequência determinada de que não se tem a conta (M3) | L | 8 |
| 8.6 | Informação, registo e reconstrução | Chantier | 8 |
| 8.7 | A conta de Shannon (1949) e o limite explícito (2022) | F | 8 |
| 8.8 | O método que fundou o domínio é o que o impede de concluir | L | 8 |
| 8.9 | A conta de três bits: o transporte e o algarismo | Th | 8 |
| 8.10 | Os fechos de Schaefer, e a sua extensão | F | 8 |
| 8.11 | A conta de dois bits | Th | 8 |
| 8.12 | Todos os fechos de Schaefer são algarismos de uma conta | L | 8 |
| 8.13 | O recenseamento das relações sem polos | Th | 8 |
| 8.14 | Teorema da fronteira | Th | 8 |
| 8.15 | Três não cabe em dois porque 3 = 2 · 1 + 1 | L | 8 |
| 8.16 | A conta diz quantos, não quem | Th | 8 |
| 8.17 | 1-em-3 SAT é NP-completo | F | 8 |
| 8.18 | A dificuldade está inteiramente no endereço | L | 8 |
| 8.19 | A largura de resolução | F | 8 |
| 8.20 | A largura é a conta dos transportes mantidos juntos | L | 8 |
| 8.21 | Levar a largura para fora do modelo da resolução | Chantier | 8 |
| 8.22 | Pares e trios (König, 1931; Karp, 1972) | F | 8 |
| 8.23 | Três trios: o afastamento de integralidade, e o seu fecho por um sacrifício | Th | 8 |
| 8.24 | Os anéis ímpares | Th | 8 |
| 8.25 | O certificado de NP é o endereço de quem paga | L | 8 |
| 8.26 | Tese do autor: o preço é dual | L | 8 |
| 8.27 | O tabuleiro de xadrez é o único quadrado cujo bordo é o número das suas ligações | Th | 8 |
| 8.28 | A moldura é o preço endereçado | L | 8 |
| 8.29 | A língua supõe o que procura, e depois proíbe-se de o ler | L | 8 |
| 8.30 | O que refutaria os enunciados deste capítulo | L | 8 |
| 9.1 | As equações e o enunciado do prémio | F | 9 |
| 9.2 | O termo de estiramento: presente em três dimensões, ausente em duas | F | 9 |
| 9.3 | A prova de 8 de setembro de 2026 | F | 9 |
| 9.4 | O que fica em aberto: o fluido livre | F | 9 |
| 9.5 | O termo de estiramento é físico | L | 9 |
| 9.6 | O termo de estiramento não é limitado por nenhuma constante universal | L | 9 |
| 9.7 | Tao (2016) e a prova de 2026 vão no mesmo sentido | L | 9 |
| 9.8 | O buraco de Sobolev de ½ | Th | 9 |
| 9.9 | A circularidade do bootstrap em três dimensões | L | 9 |
| 9.10 | Noventa anos de resultados | F | 9 |
| 9.11 | O meio em falta não proíbe a quebra, aloja-a | L | 9 |
| 9.12 | A lei de escala de Navier-Stokes: t ↦ λ²t | Th | 9 |
| 9.13 | O núcleo do calor segue a mesma lei | Th | 9 |
| 9.14 | No fluido, o tempo vale dois comprimentos | L | 9 |
| 9.15 | O teorema do pivô: o fecho exige p = 4,5 | Th | 9 |
| 9.16 | A dobra universal nas tabelas de multiplicação | Th | 9 |
| 9.17 | A constante ½ não depende da base; a escolha de 10 não é uma convenção | L | 9 |
| 9.18 | As sete convergências para ½, e as fórmulas de projeção | L | 9 |
| 9.19 | O fluido não viola Navier-Stokes; cumpre-o | L | 9 |
| 9.20 | Respeitar a estrutura é o caminho da quebra | L | 9 |
| 9.21 | A singularidade demonstrada é a do forçamento | L | 9 |
| 9.22 | P-NS-1 (27 de setembro de 2026): o fluido livre desliza | P | 9 |
| 9.23 | O declive do espectro perto da dissipação: k^{−(ln 2 + 2)} ≈ k^{−2,693} | P | 9 |
| 9.24 | O contexto experimental, tal como a fonte o relata | F | 9 |
| 9.25 | Kolmogorov e a projeção são complementares | L | 9 |
| 9.26 | A transição laminar-turbulenta como acontecimento discreto | L | 9 |
| 9.27 | A objeção das órbitas abertas | L | 9 |
| 9.28 | A camada limite | L | 9 |
| 9.29 | A nota epistemológica de março, mantida como citação | L | 9 |
| 10.1 | O enunciado do prémio (Jaffe e Witten, 2000) | F | 10 |
| 10.2 | Declaração de alcance: o corpus não constrói a teoria no sentido de Wightman | L | 10 |
| 10.3 | A rotação de Wick e a reconstrução | F | 10 |
| 10.4 | Sob t = iτ, a diferença torna-se uma soma | Th | 10 |
| 10.5 | A palavra « dimensão » designa dois objetos (M1) | L | 10 |
| 10.6 | Tese do autor: as dimensões não se vivem | L | 10 |
| 10.7 | Pares de inversão e pares de projeção | L | 10 |
| 10.8 | As quatro relações exatas do 3 e do 8 | Th | 10 |
| 10.9 | O círculo inscrito e o círculo circunscrito | L | 10 |
| 10.10 | Teorema de não fecho de SU(n) | Th | 10 |
| 10.11 | Leitura: o gap de massa é o custo do não fecho | L | 10 |
| 10.12 | SO(n) e Sp(n): a soma vale 9 exatamente quando DR(n) = 8 | Th | 10 |
| 10.13 | SO(8) e a trialidade | F | 10 |
| 10.14 | SO(8) na rede | P | 10 |
| 10.15 | Os cinco grupos excecionais não atingem 9 | Th | 10 |
| 10.16 | E₈ × E₈ e o número perfeito | L | 10 |
| 10.17 | A classificação aritmética em três regimes | Th | 10 |
| 10.18 | Leitura tripartida: défice, fecho, excesso | L | 10 |
| 10.19 | O caso de U(1) | L | 10 |
| 10.20 | O fecho cadastral do Modelo padrão | Th | 10 |
| 10.21 | O teste de unicidade: onze triplos em oitenta e quatro | Th | 10 |
| 10.22 | O Modelo padrão como sistema mínimo | L | 10 |
| 10.23 | O número de componentes do Higgs iguala o défice de SU(2) | Th | 10 |
| 10.24 | O Higgs como sedimentação do défice | L | 10 |
| 10.25 | O gluão é o 8 privado do seu 1 | L | 10 |
| 10.26 | A liberdade assintótica (Gross, Wilczek, Politzer, 1973) | F | 10 |
| 10.27 | Uma só tensão lida a quatro distâncias do centro | L | 10 |
| 10.28 | Nível 1 e nível 2 | L | 10 |
| 10.29 | O confinamento e a NP-dureza partilham uma raiz | L | 10 |
| 10.30 | Toda a dificuldade conhecida está na construção, não no gap | L | 10 |
| 10.31 | Os critérios de queda da leitura do gap | P | 10 |
| 10.32 | O que refutaria a aritmética e a leitura do tempo | L | 10 |
| 11.1 | O critério de refutação (Popper, 1934) | F | 11 |
| 11.2 | O corpus tomou este critério para si | F | 11 |
| 11.3 | O pântano sem fundo | F | 11 |
| 11.4 | Popper guardou a queda e deitou fora o levantar | L | 11 |
| 11.5 | Se a conta pudesse cair, a refutação cairia com ela | L | 11 |
| 11.6 | Três contas completas | Th | 11 |
| 11.7 | O domínio fechado obtém-se quando a estrutura fecha | L | 11 |
| 11.8 | Num domínio finito, os cruzamentos são forçados | Th | 11 |
| 11.9 | Dois caminhos exatos juntam-se sem se conhecerem | Th | 11 |
| 11.10 | O cruzamento está escrito no código | L | 11 |
| 11.11 | O erro tem dois sentidos, que formam um par inverso | L | 11 |
| 11.12 | A Parte II do Registo e o corolário de R11 | F | 11 |
| 11.13 | Os estatutos do corpus separam os dois domínios | L | 11 |
| 11.14 | Uma conta que não pode cair não é um dogma | L | 11 |
| 11.15 | Goldbach verificado até 4 × 10¹⁸ | F | 11 |
| 11.16 | Goldbach e Collatz continuam a ser Estaleiros | L | 11 |
| 11.17 | O registo do que fica em aberto depois deste volume | L | 11 |
| 11.18 | A queda só é legível contra o que não cai | L | 11 |
Capítulo 12. Três questões sem cabimento: Riemann, Collatz, Goldbach (peça entrada palavra por palavra). Os estatutos são os que a própria peça carrega, secção por secção; nenhum enunciado foi renumerado.