2024-12-21-godel-turing-definitive-truth
Human reasoning is not a fixed formal system. Gödel’s theorem applies to formal systems with fixed axioms only
We humans can
- change axioms
- extend reasoning
- step outside the system
- adopt new frameworks
- revise assumptions
- detect contradictions
- add new rules when needed
- When a paradox appears, we refine the language.
- When something is unprovable, we can add a new idea.
- When reasoning gets stuck, we can step outside the old frame and philosophers did that 1000 of times
and a formal system cannot do that.
It is frozen (??)
It cannot evolve (??)
It cannot extend itself (??)
It cannot step outside its own rules.