On 9/13/23, mailbombbin <mailbombbin@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.].