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

mailbombbin mailbombbin at gmail.com
Wed Sep 13 07:32:03 PDT 2023


——-
i thought about this a little while having breakfast at a soup kitchen

one of the concerns around disproving the incompleteness theorem is
that it creates a new self-consistentsystem of logic that can refer to
its own statements
but that it is hard to think about such things, so whatever system is
used in the disproof could be accepted as correct for a long time if
the disproof were accepted
so we might want to be prepared to generalize around all consistent
systems of self-referential logic, rather than just picking an easy
one for disproving things
likely a compromise would be made
also this seems likely analogous to things already in math somewhere,
and the article says not everyone agrees with godel, so it may already
be dine


More information about the cypherpunks mailing list