[spam][crazy][fiction][random] Non-Canon MCBoss Spinoffs

mailbombbin mailbombbin at gmail.com
Wed Sep 13 09:40:36 PDT 2023


On 9/13/23, mailbombbin <mailbombbin at gmail.com> wrote:
> ——
> there’s an unresolved concern around disproving godel’s incompleteness
> theorem.
> actually two.
> 1. the disproof picked, if eventually accepted by scholars, is
> expected to be taken as the only consistent approach to logic. this is
> considered unlikely. it is expected there are many sifferent
> consistent logics, and that the one that makes disproving godel
> easiest could be poorly chosen for other tasks.
it’s possible this is obvious already.
it’s also possible the already-shared approach is indeed the “best”
one. this is unfortunately very easy to consider, and is refutable by
noting the lack of consideration for other approaches.
> 2. disproving godel would indicate all math is solvable. this produces
> cultural issues if war or powerful intentional harm exist, where a
> person can kind of solve reality and dominate it more horribly and
> provably than acceptable. everybody and everything basically dies of
> depression, boredom, neglect, and de-evolution from the most
> survivable trait being submitting to whoever dominates the planet.
[there are also counterpoints for this]
>
> [an idea that likely creates a logic that disproves godel (although i
> haven’t verified this) has already been shared, i originally planned
> to rephrase it in this line.].
>


More information about the cypherpunks mailing list