hairyfigment comments on A quick sketch on how the Curry-Howard Isomorphism kinda appears to connect Algorithmic Information Theory with ordinal logics

[hairyfigment]

I spoke imprecisely, or at least the OP argues that I did. It assumes we have a progressive solution to undecidability/​ logical uncertainty that can take us pretty far, eventually, but does not allow self-knowledge at any time.