How/does this square with https://arxiv.org/abs/1902.07404? IIUC, Gödel’s Second Incompleteness Theorem was overinterpreted, and a different operationalization of consistency is provable.
I talked to Mihály Bárász about that, and he didn’t think it was crazy.
How/does this square with https://arxiv.org/abs/1902.07404?
IIUC, Gödel’s Second Incompleteness Theorem was overinterpreted, and a different operationalization of consistency is provable.
I talked to Mihály Bárász about that, and he didn’t think it was crazy.