# Explorador da Incompletude de Gödel

Uma página interativa mais clara sobre sistemas formais, axiomas, derivações, consistência e por que a incompletude aparece.

> Página canônica: https://elysiatools.com/pt/visualizations/godel-incompleteness

- **Categoria:** Math

## Visão geral

Interactive visualization of Gödel's Incompleteness Theorems - exploring the fundamental limits of formal mathematical systems through axioms, proof trees, and undecidable propositions. Features comprehensive formal system exploration: axiom toolbox with drag-and-drop interface (Zero Axiom: 0 ∈ ℕ, Successor Axiom: ∀n(S(n) ∈ ℕ), Induction Axiom: P(0) ∧ ∀n(P(n) → P(S(n))) → ∀nP(n), No-Cycle Axiom: ∀n(S(n) ≠ 0)), interactive derivation tree visualization using SVG with hierarchical structure showing axioms → intermediate steps → theorems, color-coded nodes (blue: axioms, green: proved theorems, gold: undecidable propositions, red: contradictions, gray: in progress), and smooth step-by-step proof construction animation with play/pause/step/reset controls. Undecidable propositions showcase: Gödel sentence ('This statement cannot be proved'), Goodstein's theorem, Continuum Hypothesis, with interactive explanations demonstrating why these are true but unprovable. Consistency checker allows adding custom axioms with automatic contradiction detection, visual feedback showing system status (consistent/inconsistent), and demonstration of 'ex falso quodlibet' principle when system becomes inconsistent. Proof assistant workspace for building simple proofs using drag-and-drop axioms and inference rules with real-time validation feedback. Four educational tabs: Theory (formal systems, completeness vs consistency, Gödel numbering, first and second incompleteness theorems, implications for mathematics), History (Hilbert's Program, Gödel's 1931 paper, mathematicians' reactions, Church-Turing thesis, modern impact), Examples (Peano Arithmetic, ZFC set theory, true but unprovable statements, computability perspective), and Experiments (build formal system, hunt for undecidability, break the system with contradictions, Gödel sentence explorer). Interactive experiments: start with minimal axioms and build up, attempt to prove undecidable propositions, add contradictory axioms to watch system 'explode', and interactive walkthrough of Gödel's self-reference construction using arithmetization of syntax. Statistics display: theorem count, axioms used, proof depth, undecidable propositions discovered, and system consistency status. View controls: zoom in/out, fit to screen, pan canvas, and export visualization as JSON. Responsive design with dark academic theme, clean mathematical typography, and smooth animations. Perfect for logic foundations courses, computability theory education, mathematical philosophy, and understanding the fundamental limits of formal reasoning and computation. Multi-language support (zh, en, es, fr, de, ru, pt).

## Conteúdo relacionado

- [Reação de Ordem Zero - Visualização Interativa](https://elysiatools.com/pt/visualizations/zero-order-reaction): Visualização interativa da cinética de reação de ordem zero e mudanças de concentração ao longo do tempo
- [Reação de Primeira Ordem - Visualização Interativa](https://elysiatools.com/pt/visualizations/first-order-reaction): Visualização interativa da cinética de reação de primeira ordem e do decaimento exponencial de concentração
- [Reação de Segunda Ordem - Visualização Interativa](https://elysiatools.com/pt/visualizations/second-order-reaction): Visualização interativa da cinética de reação de segunda ordem e da dinâmica de colisão bimolecular
- [Equação de Arrhenius](https://elysiatools.com/pt/visualizations/arrhenius-equation): Visualização interativa do efeito da temperatura na velocidade da reação - Explore energia de ativação, fator pré-exponencial e constante de velocidade
- [Reação Reversível](https://elysiatools.com/pt/visualizations/reversible-reaction): Visualização interativa da cinética de reação reversível A ⇌ B - Explore taxas de reação, constante de equilíbrio e mudanças de concentração
- [Reação Consecutiva](https://elysiatools.com/pt/visualizations/consecutive-reaction): Visualização interativa da cinética de reação consecutiva A → B → C - Explore picos de concentração intermediária
- [Reação em Cadeia](https://elysiatools.com/pt/visualizations/chain-reaction): Visualização interativa da polimerização radical em cadeia
- [Princípio de Le Chatelier](https://elysiatools.com/pt/visualizations/le-chateliers-principle): Visualização interativa do princípio de Le Chatelier - Explore como mudanças de concentração, pressão e temperatura afetam o equilíbrio químico