• xylogx@lemmy.world
    link
    fedilink
    English
    arrow-up
    1
    ·
    18 hours ago

    Yes, I described it badly and that description is inaccurate. It is technically about completeness which has a very specific definition. The implication that no formal logic system could describe even itself fully and that was a major blow to modernist “clock-maker’s universe” view of the reality.