Felix Schaller

Gödel's Incompleteness Theorem and the Power of Context

Gödel's incompleteness theorem and Turing's halting problem are conventionally read as fundamental limits of formal reason. We argue the opposite: they are not limits of reason, but the cost of practicing reason context-free. Incompleteness (Gödel), the undecidability of semantic...