Principia Orthogona · Vol IV · GTCT · Capítulo 6 · G6 LLC · Newark NJ · 2026
Teorema de Recursão
Contração pitagórica $\kappa\leq\sqrt{5/9}<1$, ponto fixo único $x^*$, e $G^{64}(x_0)\neq x_0$
Pythagorean contraction $\kappa\leq\sqrt{5/9}<1$, unique fixed point $x^*$, and $G^{64}(x_0)\neq x_0$
🇧🇷 Português — idioma primário
🇺🇸 English — tradução disponível →
$\kappa\leq\sqrt{5/9}<1$ · Banach FPT · $G^{64}(x_0)\neq x_0$ · 0 sorry · ✓ Lean 4