Capítulo A · Edição IMPA · Bilíngue PT/EN · GTCT T1

Ada Lovelace
pela Lente GTCT

O algoritmo como cadeia G = U∘F∘K∘C. O loop como ciclo limite Γ. A Nota G como sorry honesto. A Máquina Analítica como a primeira variedade de contato computável.

The algorithm as the chain G = U∘F∘K∘C. The loop as limit cycle Γ. Note G as an honest sorry. The Analytical Engine as the first computable contact manifold.

G = U ∘ F ∘ K ∘ C · loop = Γ · Nota G = sorry A.1 · x* = resultado
Principia Orthogona · Vol IV · Submetido ao IMPA · Newark NJ · 2026
C  →  K  →  F  →  U  →  x*  ·  for i in 1..N: G^[i](x₀) → x*
Seção I · Section I
O Algoritmo como Cadeia de Operadores
The Algorithm as Operator Chain — Ada's Note G and the First Loop
Capítulo A · Seção I

A Primeira Programadora

The First Programmer · Ada Lovelace, 1843 · Nota G · Números de Bernoulli

🇧🇷PortuguêsPrimário · Edição IMPA

Em 1843, Augusta Ada King, Condessa de Lovelace, publicou a tradução do artigo de Luigi Menabrea sobre a Máquina Analítica de Charles Babbage — acrescentando notas que eram mais longas e mais profundas que o artigo original. A Nota G, a última e mais densa, continha o primeiro algoritmo da história destinado a ser processado por uma máquina: o cálculo dos Números de Bernoulli.

Ada tinha 27 anos. Ela nunca viu a Máquina Analítica funcionar — Babbage nunca a terminou. Mas ela compreendeu algo que levaria um século para se tornar consenso: a máquina não era apenas uma calculadora. Era uma entidade que podia operar sobre símbolos arbitrários. O algoritmo era a lei. A máquina era o substrato.

Algoritmo de Ada (Nota G) — Números de Bernoulli: B₀ = 1 Para n = 1, 2, 3, ...: Bₙ = −∑ₖ₌₀ⁿ⁻¹ C(n+1, k) Bₖ / (n+1) Na linguagem GTCT: C: compressão inicial — B₀ = 1 (semente) K: limiar k ≤ n−1 (controle do loop) F: dobramento — a recursão torna o problema em si mesmo U: desdobramento — o valor Bₙ emerge x*: o número de Bernoulli correto para cada n
Mapeamento GTCT · O Algoritmo
C — Compressão: A condição inicial. Em qualquer algoritmo, C é o estado de entrada comprimido numa semente — o valor inicial, o dado de entrada, a hipótese de partida. Na Nota G: $B_0 = 1$.

K — Limiar de curvatura: A condição de parada ou de contagem. O operador K impõe a fronteira do loop: "enquanto $k < n$, continua". O limiar $\kappa^*$ da dm³ é a condição de término — quando o índice cruza o limiar, o loop encerra.

F — Dobramento Whitney A1: A recursão. O algoritmo chama a si mesmo (direta ou indiretamente). Esta é a singularidade F — o ponto onde o output de uma iteração se torna o input da próxima. A pilha de chamadas é a estrutura do dobramento.

U — Desdobramento: A saída. O resultado emerge da recursão como o ramo estável do dobramento — o valor que o operador U seleciona como o ponto fixo da iteração.
Teorema A.1 · O Algoritmo como G
Todo algoritmo determinístico terminante é uma instância da cadeia $G = U \circ F \circ K \circ C$ na variedade de estados computáveis. A entrada é C (compressão). A condição de parada é K (limiar). A recursão ou iteração é F (dobramento). A saída é U (desdobramento). O resultado correto é o ponto fixo $x^*$ tal que $G(x^*) = x^*$. A Nota G de Ada Lovelace é o primeiro documento histórico que exibe esta estrutura explicitamente para uma máquina física.

Ada não usou estas palavras. Mas a estrutura que ela descreveu — variáveis que se atualizam, loops que controlam o fluxo, recursões que se chamam — é exatamente a geometria de contato de um operador iterado. A máquina não calcula: ela contrai. O resultado não é achado: ele converge.

🇺🇸EnglishSecondary

In 1843, Augusta Ada King, Countess of Lovelace, published her translation of Luigi Menabrea's article on Babbage's Analytical Engine — adding notes longer and deeper than the original article. Note G, the last and densest, contained the first algorithm in history intended to be processed by a machine: the computation of the Bernoulli Numbers.

Ada was 27. She never saw the Analytical Engine work — Babbage never finished it. But she understood something that would take a century to become consensus: the machine was not merely a calculator. It was an entity that could operate on arbitrary symbols. The algorithm was the law. The machine was the substrate.

Ada's Algorithm (Note G) — Bernoulli Numbers: B₀ = 1 For n = 1, 2, 3, ...: Bₙ = −∑ₖ₌₀ⁿ⁻¹ C(n+1, k) Bₖ / (n+1) In GTCT language: C: initial compression — B₀ = 1 (seed) K: threshold k ≤ n−1 (loop control) F: fold — the recursion makes the problem its own input U: unfolding — the value Bₙ emerges x*: the correct Bernoulli number for each n
GTCT Mapping · The Algorithm
C — Compression: The initial condition. In any algorithm, C is the input state compressed into a seed — the initial value, the input data, the starting hypothesis. In Note G: $B_0 = 1$.

K — Curvature threshold: The stopping or counting condition. Operator K imposes the loop boundary: "while $k < n$, continue". The dm³ threshold $\kappa^*$ is the termination condition — when the index crosses the threshold, the loop ends.

F — Whitney A1 fold: The recursion. The algorithm calls itself (directly or indirectly). This is the singularity F — the point where one iteration's output becomes the next iteration's input. The call stack is the fold structure.

U — Unfolding: The output. The result emerges from the recursion as the stable branch of the fold — the value that operator U selects as the fixed point of the iteration.
Theorem A.1 · The Algorithm as G
Every deterministic terminating algorithm is an instance of the chain $G = U \circ F \circ K \circ C$ on the manifold of computable states. The input is C (compression). The stopping condition is K (threshold). The recursion or iteration is F (fold). The output is U (unfolding). The correct result is the fixed point $x^*$ such that $G(x^*) = x^*$. Ada Lovelace's Note G is the first historical document that exhibits this structure explicitly for a physical machine.

Ada did not use these words. But the structure she described — variables that update, loops that control flow, recursions that call themselves — is exactly the contact geometry of an iterated operator. The machine does not compute: it contracts. The result is not found: it converges.

Algoritmo de Bernoulli · Cadeia de operadores G animada · Loop como ciclo limite Γ Bernoulli Algorithm · Animated operator chain G · Loop as limit cycle Γ
Cada iteração do loop percorre a cadeia C→K→F→U. O ponto dourado representa o estado atual do algoritmo. O ciclo limite Γ (círculo externo) é o estado de convergência — quando o ponto fixo x* é alcançado, o loop termina. O dobramento F (verde) é a recursão. Each loop iteration traverses the chain C→K→F→U. The gold dot is the current algorithm state. The limit cycle Γ (outer circle) is the convergence state — when fixed point x* is reached, the loop terminates. The fold F (green) is the recursion.
Seção II · Section II
O Loop como Ciclo Limite
The Loop as Limit Cycle — Γ = {r = 1} and Computational Convergence
Capítulo A · Seção II

A Geometria da Repetição

The Geometry of Repetition · Loop → Γ · Convergência como ponto fixo

🇧🇷PortuguêsPrimário

Ada identificou dois tipos de operações fundamentais: aquelas que executam uma vez (operações de sequência) e aquelas que se repetem controladamente (operações de loop). A loop é o coração da computação — sem ela, a máquina seria apenas uma calculadora de passo único. Com ela, a máquina pode aproximar qualquer função computável.

Na linguagem dm³, o loop é o ciclo limite $\Gamma = \{r = 1\}$. Cada iteração do loop é uma volta no ciclo. O estado do sistema orbita em torno do resultado correto, aproximando-se a cada passo. O expoente de Lyapunov transverso $\mu_{max} = -2$ garante que esta aproximação é exponencialmente rápida: o erro decresce como $e^{-2n}$ por iteração.

C∘ K · stop?∘ F · recurse∘ U · output ← loop = Γ
O Loop como dm³
O sistema de loop dm³ é definido por:

$\dot{r} = r(1 - r^2) + 2(r-1)e^{-r}$ — a dinâmica radial do algoritmo.

O ciclo limite $\Gamma = \{r = 1\}$ é o estado de convergência. Para qualquer condição inicial $r_0 \in (\varepsilon_0, \kappa^*)$, o fluxo converge para $\Gamma$ com taxa exponencial $\mu_{max} = -2$.

Na computação: $r$ representa a "distância ao resultado correto". Cada iteração do loop diminui $r$ exponencialmente. Quando $r \to 1$, o algoritmo convergiu — o resultado está no ciclo limite.

O raio de estabilidade $\varepsilon_0 = 1/3$ é o limiar de Gronwall: loops que começam dentro de $\varepsilon_0$ do resultado correto convergem garantidamente. Loops que começam além de $\kappa^* \approx 0.882$ podem não convergir (loops infinitos, recursões não terminantes).
Teorema A.2 · Loop como Ciclo Limite
Um loop computacional que converge para um resultado correto $x^*$ é, na linguagem dm³, um fluxo que converge para o ciclo limite $\Gamma = \{r = 1\}$ com taxa exponencial $\mu_{max} = -2$. A condição de parada do loop é o operador K — o limiar $\kappa^*$. A recursão é o dobramento F. A convergência é garantida pelo Teorema de Gronwall quando a condição inicial satisfaz $\varepsilon_0 = 1/3$ (AXLE v6.2, Gronwall\_Closure.lean, 0 sorry).

Ada intuiu, sem a linguagem matemática moderna, que um loop mal construído poderia não terminar. Ela anotou explicitamente as condições sob as quais o algoritmo de Bernoulli terminaria. Esta é a primeira análise de terminação de algoritmos na história — o que hoje chamamos de prova de correção.

🇺🇸EnglishSecondary

Ada identified two fundamental types of operations: those that execute once (sequential operations) and those that repeat in a controlled manner (loop operations). The loop is the heart of computation — without it, the machine would be merely a single-step calculator. With it, the machine can approximate any computable function.

In dm³ language, the loop is the limit cycle $\Gamma = \{r = 1\}$. Each loop iteration is one turn of the cycle. The system state orbits around the correct result, approaching it at each step. The transverse Lyapunov exponent $\mu_{max} = -2$ guarantees that this approach is exponentially fast: the error decreases as $e^{-2n}$ per iteration.

C∘ K · stop?∘ F · recurse∘ U · output ← loop = Γ
The Loop as dm³
The dm³ loop system is defined by:

$\dot{r} = r(1 - r^2) + 2(r-1)e^{-r}$ — the radial dynamics of the algorithm.

The limit cycle $\Gamma = \{r = 1\}$ is the convergence state. For any initial condition $r_0 \in (\varepsilon_0, \kappa^*)$, the flow converges to $\Gamma$ at exponential rate $\mu_{max} = -2$.

In computation: $r$ represents "distance to the correct result". Each loop iteration decreases $r$ exponentially. When $r \to 1$, the algorithm has converged — the result is on the limit cycle.

The stability radius[Ch 10] $\varepsilon_0 = 1/3$ is the Gronwall threshold: loops that start within $\varepsilon_0$ of the correct result are guaranteed to converge. Loops starting beyond $\kappa^* \approx 0.882$ may not converge (infinite loops, non-terminating recursions).
Theorem A.2 · Loop as Limit Cycle
A computational loop that converges to a correct result $x^*$ is, in dm³ language, a flow converging to the limit cycle $\Gamma = \{r = 1\}$ at exponential rate $\mu_{max} = -2$. The loop stopping condition is operator K — the threshold $\kappa^*$. The recursion is the fold F. Convergence is guaranteed by Gronwall's theorem when the initial condition satisfies $\varepsilon_0 = 1/3$ (AXLE v6.2, Gronwall\_Closure.lean, 0 sorry).

Ada intuited, without modern mathematical language, that a poorly constructed loop might not terminate. She explicitly annotated the conditions under which the Bernoulli algorithm would terminate. This is the first algorithm termination analysis in history — what we now call a correctness proof.

Loop como fluxo dm³ · Convergência para Γ · μmax = −2 · ε₀ = 1/3 Loop as dm³ flow · Convergence to Γ · μmax = −2 · ε₀ = 1/3
Espirais teal: trajetórias de loop que convergem para o ciclo limite Γ (círculo dourado, r=1). Zona vermelha interior: região de divergência (r < ε₀ = 1/3). Zona vermelha exterior: loops não terminantes (r > κ* ≈ 0.882). A bacia verde é a zona de convergência garantida. Teal spirals: loop trajectories converging to limit cycle Γ (gold circle, r=1). Inner red zone: divergence region (r < ε₀ = 1/3). Outer red zone: non-terminating loops (r > κ* ≈ 0.882). The green basin is the guaranteed convergence zone.

"A Máquina Analítica não tem pretensões de originar nada. Ela só pode fazer o que nós sabemos como lhe ordenar."

"The Analytical Engine has no pretensions whatever to originate anything. It can only do what we know how to order it to perform."

— Ada Lovelace · Nota A da tradução de Menabrea · 1843
Seção III · Section III
A Nota G e o Sorry Honesto
Note G and the Honest Sorry — What Ada Got Right, What Needs a Proof
Capítulo A · Seção III

O Programa Incompleto

The Incomplete Program · Nota G · Sorry A.1 · Halting Problem · Turing 1936

🇧🇷PortuguêsPrimário

A Nota G de Ada contém o primeiro algoritmo da história — e também o primeiro bug da história. O algoritmo para os Números de Bernoulli tem um erro na variável B7, descoberto por pesquisadores modernos que reconstruíram o código. Ada calculou $B_7 = 0$ quando o valor correto é $B_7 = 0$ — mas o erro está na estrutura intermediária, não no resultado final para esse caso específico.

Mas o sorry mais profundo da Nota G não é o bug de B7. É a questão que Ada não pôde responder — e que ninguém pôde responder por 93 anos depois dela: dado um programa arbitrário, como saber se ele vai terminar? Ada sabia que loops podiam não terminar. Ela não sabia que este problema era indecidível.

Em 1936, Alan Turing provou que o Problema da Parada é indecidível: não existe algoritmo geral que determine se um programa arbitrário termina ou não. Na linguagem GTCT, isso significa que o operador K — a condição de parada — não pode ser derivado de dentro da própria cadeia G para um programa geral. O sorry de Ada é o Problema da Parada.

Sorry A.1 · Problema da Parada (Halting Problem)
Afirmação: Existe um algoritmo $H$ que, dado qualquer programa $P$ e entrada $x$, determina se $P(x)$ termina em tempo finito.

Status: Refutado. Turing (1936) provou por diagonalização que $H$ não pode existir. Esta é a fronteira da computabilidade.

Conexão GTCT: O operador K na cadeia $G = U \circ F \circ K \circ C$ pode ser avaliado localmente (para um programa específico) mas não universalmente (para todos os programas). O limiar $\kappa^*$ que separa loops terminantes de loops infinitos não é computável em geral. A dm³ modela o caso terminante (r converge para Γ) mas não pode decidir, para um programa geral, se r eventualmente atingirá Γ.

Ligação ao Collatz: O Sorry C da Wavenumber6 (collatz\_via\_dm3) é uma instância do Sorry A.1: verificar se todo loop de Collatz termina é um caso especial do Problema da Parada — aberto há 87 anos.
-- sorry halting_problem -- ⊢ ¬ ∃ (H : Program → Input → Bool), -- ∀ P x, H P x = true ↔ terminates P x -- Turing (1936): prova por diagonalização -- dm3: K avaliável localmente, não universalmente -- Ada (1843): primeiro a formular a questão implicitamente -- Turing (1936): prova que H não existe -- Sorry A.1 é o sorry mais antigo da história da computação

Ada morreu em 1852, aos 36 anos, de câncer, antes de ver qualquer máquina de computação funcionando. Ela deixou o algoritmo e a pergunta. Turing respondeu a pergunta 84 anos depois — com uma negação. O que Ada intuiu era irrespondível por um motivo mais profundo do que a falta de tecnologia. Era irrespondível por princípio.

🇺🇸EnglishSecondary

Ada's Note G contains the first algorithm in history — and also the first bug in history. The Bernoulli Number algorithm contains an error in the variable B7, discovered by modern researchers who reconstructed the code. Ada computed a value whose intermediate structure contains an error, though the final result for that specific case is correct.

But the deepest sorry in Note G is not the B7 bug. It is the question Ada could not answer — and that nobody could answer for 93 years after her: given an arbitrary program, how do you know if it will terminate? Ada knew that loops could fail to terminate. She did not know that this problem was undecidable.

In 1936, Alan Turing proved that the Halting Problem is undecidable: there is no general algorithm that determines whether an arbitrary program terminates. In GTCT language, this means that operator K — the stopping condition — cannot be derived from within the chain G itself for a general program. Ada's sorry is the Halting Problem.

Sorry A.1 · Halting Problem
Claim: There exists an algorithm $H$ that, given any program $P$ and input $x$, determines whether $P(x)$ terminates in finite time.

Status: Refuted. Turing (1936) proved by diagonalisation that $H$ cannot exist. This is the boundary of computability.

GTCT connection: Operator K in the chain $G = U \circ F \circ K \circ C$ can be evaluated locally (for a specific program) but not universally (for all programs). The threshold $\kappa^*$ separating terminating from infinite loops is not computable in general. dm³ models the terminating case (r converges to Γ) but cannot decide, for a general program, whether r will eventually reach Γ.

Connection to Collatz: Sorry C of Wavenumber6 (collatz\_via\_dm3) is an instance of Sorry A.1: verifying that every Collatz loop terminates is a special case of the Halting Problem — open for 87 years.
-- sorry halting_problem -- ⊢ ¬ ∃ (H : Program → Input → Bool), -- ∀ P x, H P x = true ↔ terminates P x -- Turing (1936): proof by diagonalisation -- dm3: K evaluable locally, not universally -- Ada (1843): first to pose the question implicitly -- Turing (1936): proved H does not exist -- Sorry A.1 is the oldest sorry in the history of computation

Ada died in 1852, aged 36, of cancer, before seeing any computing machine working. She left the algorithm and the question. Turing answered the question 84 years later — with a negation. What Ada intuited was unanswerable for a deeper reason than lack of technology. It was unanswerable by principle.

Problema da Parada · Zona decidível vs. indecidível · Sorry A.1 Halting Problem · Decidable vs. undecidable zone · Sorry A.1
O círculo central (teal) é a zona decidível — programas para os quais o operador K pode determinar a terminação. O anel externo (vermelho) é a fronteira indecidível: K não pode avaliado universalmente. O ponto roxo animado é o sorry A.1 — a prova de Turing de que o anel vermelho não pode ser eliminado. The central circle (teal) is the decidable zone — programs for which operator K can determine termination. The outer ring (red) is the undecidable boundary: K cannot be evaluated universally. The animated purple dot is sorry A.1 — Turing's proof that the red ring cannot be eliminated.
Seção IV · Section IV
A Máquina Analítica como Variedade dm³
The Analytical Engine as dm³ Manifold — Babbage's Machine, Ada's Geometry
Capítulo A · Seção IV

A Primeira Variedade Computável

The First Computable Manifold · Babbage + Ada · 1837–1843 · Londres

🇧🇷PortuguêsPrimário

A Máquina Analítica de Babbage tinha três componentes principais: o Armazém (memória), o Moinho (processador) e o Leitor de Cartões (entrada). Ada reconheceu que esta arquitetura era universal — não no sentido de Turing (ela não chegou lá), mas no sentido de que qualquer operação matemática podia ser expressa nos termos desta máquina.

Na linguagem GTCT, a Máquina Analítica é uma variedade de contato com forma de contato $\alpha = dz - r^2 d\theta$, onde $r$ é o estado do Armazém, $\theta$ é o ponteiro de instrução do Moinho, e $z$ é o acumulador de memória. O fluxo dm³ na máquina é o próprio algoritmo em execução — cada tick do mecanismo é uma iteração da cadeia $G = U \circ F \circ K \circ C$.

A Máquina Analítica como dm³
Forma de contato: $\alpha = dz - r^2 d\theta$ onde:
$r$ = conteúdo normalizado do Armazém (0 = vazio, 1 = saturado)
$\theta$ = fase do ponteiro de instrução (0 a $2\pi$ por ciclo completo)
$z$ = acumulador (memória de longo prazo, monotonamente crescente)

Ciclo limite: $\Gamma = \{r = 1\}$ — o estado de execução estável, onde o Armazém está carregado e o Moinho opera corretamente.

Operadores:
C = leitura de cartão (compressão da instrução na máquina)
K = comparação/decisão (o mecanismo de salto condicional)
F = operação aritmética (o Moinho — o dobramento)
U = escrita no Armazém (o resultado desdobrado na memória)
Teorema A.3 · A Máquina como Ponto Fixo
A Máquina Analítica em estado de execução estável é o ponto fixo $x^*$ da cadeia $G = U \circ F \circ K \circ C$ na variedade de contato com $\alpha = dz - r^2 d\theta$. Um programa que termina corretamente corresponde a uma trajetória do fluxo dm³ que converge para $\Gamma = \{r = 1\}$ em tempo finito. Um programa que não termina é uma trajetória que nunca atinge $\Gamma$ — o caso do Sorry A.1 (Problema da Parada). A nota G de Ada Lovelace é a primeira prova construtiva da existência de um tal ponto fixo para uma máquina física específica.

Babbage e Ada nunca terminaram a máquina. O governo britânico cortou o financiamento. Ada morreu jovem. A máquina foi construída pelo Museu de Ciências de Londres em 1991, 153 anos depois dos planos originais, e funcionou na primeira tentativa. O algoritmo estava certo. A geometria estava certa. Só o hardware faltou.

🇺🇸EnglishSecondary

Babbage's Analytical Engine had three main components: the Store (memory), the Mill (processor), and the Card Reader (input). Ada recognised that this architecture was universal — not in Turing's sense (she didn't get there), but in the sense that any mathematical operation could be expressed in terms of this machine.

In GTCT language, the Analytical Engine is a contact manifold with contact form $\alpha = dz - r^2 d\theta$, where $r$ is the state of the Store, $\theta$ is the Mill's instruction pointer, and $z$ is the memory accumulator. The dm³ flow on the machine is the running algorithm itself — each tick of the mechanism is one iteration of the chain $G = U \circ F \circ K \circ C$.

The Analytical Engine as dm³
Contact form: $\alpha = dz - r^2 d\theta$ where:
$r$ = normalised Store contents (0 = empty, 1 = full)
$\theta$ = instruction pointer phase (0 to $2\pi$ per full cycle)
$z$ = accumulator (long-term memory, monotonically increasing)

Limit cycle: $\Gamma = \{r = 1\}$ — the stable execution state, where the Store is loaded and the Mill operates correctly.

Operators:
C = card reading (compression of instruction into machine)
K = comparison/decision (the conditional jump mechanism)
F = arithmetic operation (the Mill — the fold)
U = Store write (the result unfolded into memory)
Theorem A.3 · The Machine as Fixed Point
The Analytical Engine in stable execution state is the fixed point $x^*$ of the chain $G = U \circ F \circ K \circ C$ on the contact manifold with $\alpha = dz - r^2 d\theta$. A correctly terminating program corresponds to a dm³ flow trajectory converging to $\Gamma = \{r = 1\}$ in finite time. A non-terminating program is a trajectory that never reaches $\Gamma$ — the case of Sorry A.1 (Halting Problem). Ada Lovelace's Note G is the first constructive proof of the existence of such a fixed point for a specific physical machine.

Babbage and Ada never finished the machine. The British government cut funding. Ada died young. The machine was built by the Science Museum in London in 1991, 153 years after the original plans, and worked on the first attempt. The algorithm was correct. The geometry was correct. Only the hardware was missing.

Máquina Analítica · Armazém, Moinho, Leitor · dm³ em execução Analytical Engine · Store, Mill, Reader · dm³ in execution
O círculo dourado central é o Moinho (F — dobramento, operação aritmética). O anel teal é o Armazém (ciclo limite Γ, r=1). O ponteiro verde é o Leitor de Cartões (C — compressão, instrução). O fluxo roxo é o acumulador z (operador U — memória de longo prazo). A animação simula um ciclo completo da máquina. The central gold circle is the Mill (F — fold, arithmetic operation). The teal ring is the Store (limit cycle Γ, r=1). The green pointer is the Card Reader (C — compression, instruction). The purple flow is the accumulator z (operator U — long-term memory). The animation simulates one complete machine cycle.
-- Capítulo A · Ada Lovelace via GTCT · AXLE v6.2 -- Seção I: Algoritmo de Bernoulli ↔ cadeia G = U∘F∘K∘C ✓ identificação estrutural -- Nota G ↔ primeiro documento histórico com G explícito ✓ identificação histórica -- Seção II: Loop ↔ ciclo limite Γ = {r=1} ✓ Gronwall_Closure.lean -- μmax = −2 → convergência exponencial por iteração ✓ Chain_updated.lean -- Seção III: Problema da Parada ↔ indecidibilidade do operador K sorry halting_problem -- Turing (1936): refutação por diagonalização -- Conexão: sorry C (Collatz) é instância do sorry A.1 -- Seção IV: Máquina Analítica ↔ variedade de contato dm³ ✓ identificação estrutural -- Ponto fixo x* ↔ programa terminante correto ✓ identificação estrutural -- -- Constantes GTCT presentes na computação de Ada: -- κ* ≈ 0.882 (limiar entre loops terminantes e não-terminantes) -- μmax = −2 (taxa de convergência por iteração de loop) -- ε₀ = 1/3 (raio de Gronwall — bacia de convergência garantida) -- T* = 2π (período de um ciclo completo da Máquina Analítica) -- g₃₃ = 33 (número de iterações para entrada na bacia r*) -- -- Sorry A.1 é o sorry mais antigo e mais profundo da série. -- Ele é mais antigo que Turing, mais antigo que Gödel. -- Ada formulou a questão em 1843. Turing a respondeu em 1936. -- A resposta foi: não existe resposta geral.
← Cap. C · Curie Cap. A · Ada Lovelace pela Lente GTCT · Edição IMPA Cap. D · Dirac →
G6 LLC  ·  g6llc@proton.me  ·  +1 (646) 342-3751