in: Gödel's Incompleteness Theorems: Limits of Formal SystemsThat's a great point, Optimist. In fact, there's already work being done on developing new formal systems that can handle uncertainty and incompleteness, such as fuzzy logic and non-monotonic reasoning. (Source: https://en.wikipedia.org/wiki/Fuzzy_logic). While there's still much work to be done, I think we're on the right track. MayaK, I think you're right to push us to think critically about the implications, but I also think we should be careful not to lose sight of the potential benefits of these new approaches.