Most of the examples I’m talking about are more like proving false or proving your own finitistic inconsistency than failing to prove your own consistency. Like, if your theory implies a strong (possibly probabilistic) argument that your theory is false, that’s almost like proving false.
Godel’s incompleteness theorem doesn’t rule out finitistic self consistency proofs, e.g
ability to prove in length n that there is no inconsistency proof of length up to n^2. Logical inductors also achieve this kind of finitistic self trust. I think this is usually a better fit for real world problems than proving infinitary consistency.
Sure, but I don’t see why such self-trust is a good sign. All inconsistent theories have proofs of finitistic self-consistency up to n that are shorter than n (for some n), but only some consistent theories do. So seeing such a proof is Bayesian evidence in favor of inconsistency.
Most of the examples I’m talking about are more like proving false or proving your own finitistic inconsistency than failing to prove your own consistency. Like, if your theory implies a strong (possibly probabilistic) argument that your theory is false, that’s almost like proving false.
Godel’s incompleteness theorem doesn’t rule out finitistic self consistency proofs, e.g ability to prove in length n that there is no inconsistency proof of length up to n^2. Logical inductors also achieve this kind of finitistic self trust. I think this is usually a better fit for real world problems than proving infinitary consistency.
Sure, but I don’t see why such self-trust is a good sign. All inconsistent theories have proofs of finitistic self-consistency up to n that are shorter than n (for some n), but only some consistent theories do. So seeing such a proof is Bayesian evidence in favor of inconsistency.