• Kogasa@programming.dev
    link
    fedilink
    English
    arrow-up
    1
    ·
    2 months ago

    Just explaining that the limitations of Gödel’s theorems are mostly formal in nature. If they are applicable, the more likely case of incompleteness (as opposed to inconsistency) is not really a problem.