Sorted by New

Wiki Contributions


I think this interpretation is both intriguing and clarifying, thanks. It suggests that a good framing of the incompleteness theorem is:

  • Any sufficiently rich system S can be extended by multiple interpretations I, such that all of its provable theorems are true for all of I, but I contains interpretations who disagree on the truth of some unprovable statements of S