I don't know if it makes him ignorant, but I agree the statement sweeps the philosophical issues Gödel addressed under the rug. There were two major works of th

I don't know if it makes him ignorant, but I agree the statement sweeps the philosophical issues Gödel addressed under the rug. There were two major works of the 20th century that would never have been attempted if the authors had known of Gödel's proof. First, Whitehead and Russel's Prinicpia Mathematica, which attempted to "describe a set of axioms and inference rules in symbolic logic from which all mathematical truths could in principle be proven". The other was Wittgenstein's Tractatus, which was a similar attempt to provide a foundation for language. To be fair, Gödel's theorem didn't end scientific inquiry, and I'm sure that Maudlin knows about these titanic failures. I'd like to know what he thinks of them.