> His incompleteness theorems meant there can be no mathematical theory of everything, no unification of what’s provable and what’s true. What mathematicians ca

> His incompleteness theorems meant there can be no mathematical theory of everything, no unification of what’s provable and what’s true. What mathematicians can prove depends on their starting assumptions, not on any fundamental ground truth from which all answers spring[0]. So why leave it solely to the mathematicians. [0] https://www.quantamagazine.org/how-godels-proof-works-20200714/ https://www.quantamagazine.org/how-godels-proof-works-202007...