13 Sep
2023
13 Sep
'23
2:32 p.m.
——- 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