2026-09-14 17:19 UTC
@bytebro@mastodonapp.uk @cwebber@social.coop Gödel said you can be complete *or* consistent. You get to pick one! And the Gödel sentences that prove you can't have both are *really* complicated, he had to work hard to design one. And English isn't a formal logic
Replies (1)
-
@lritter@mastodon.gamedev.place 2026-09-15 05:06
@mcc@mastodon.social > Gödel said you can be complete *or* consistent. ah is this why good backwards compatibility is at odds with a compact interface