2026-09-14 17:16 UTC
@mcc@mastodon.social @cwebber@social.coop
Now, I want some input from mathematicians or philosophers!
"Presumably a truth wouldn't usually prove *both* a thing and its opposite"
I seem to recall that Gödel had some stuff to say about that...
Replies (2)
-
@mcc@mastodon.social 2026-09-14 17:19
@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
-
@foucault_this@mastodon.social 2026-09-14 21:25
@bytebro@mastodonapp.uk @mcc@mastodon.social @cwebber@social.coop nested incompleteness; how can the auditor audit itself