4 ms·
An inconsistent theory can prove its own consistency, so in what sense does a system proving its own consistency provide evidence that it is consistent?
by okintheory 8y ago
An 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