3 ms·
It's more subtle than that, for example: https://en.wikipedia.org/wiki/Self-verifying_theories https://en.wikipedia.org/wiki/Self-verifying_theories
by earthicus 8y ago
It's more subtle than that, for example:
https://en.wikipedia.org/wiki/Self-verifying_theories https://en.wikipedia.org/wiki/Self-verifying_theories
- okintheory 8y agoAn inconsistent theory can prove its own consistency, so in what sense does a system proving its own consistency provide evidence that it is consistent?
- earthicus 8y agoThis issue is addressed informally in the introduction to the authors paper available here [1]. The pivotal move that addresses your complaint head on is Theorem 4.3. [1] https://www.jstor.org/stable/2695030 https://www.jstor.org/stable/2695030