Let’s set aside the goal of unifying all knowledge. How are we doing in the millennia-long quest for absolute and objective truth? Not so well, it seems, and that is largely because of the devastating contributions of a few philosophers and logicians, particularly David Hume, Bertrand Russell and Kurt Gödel. ...No, it did not fail. The Russell-Whitehead system was replaced by better ones, which became more famous, with the most popular being ZFC. It is a firm logical foundation for mathematics.

What about maths and logic? At the beginning of the 20th century, a number of logicians, mathematicians and philosophers of mathematics were trying to establish firm logical foundations for mathematics and similar formal systems. The most famous such attempt was made by Bertrand Russell and Alfred North Whitehead, and it resulted in theirPrincipia Mathematica(1910-13), one of the most impenetrable reads of all time. It failed.

A few years later the logician Kurt Gödel explained why. His two ‘incompleteness theorems’ proved — logically — that any sufficiently complex mathematical or logical system will contain truths that cannot be proven from within that system. Russell conceded this fatal blow to his enterprise, as well as the larger moral that we have to be content with unprovable truths even in mathematics. If we add to Gödel’s results the well-known fact that logical proofs and mathematical theorems have to start from assumptions (or axioms) that are themselves unprovable (or, in the case of some deductive reasoning like syllogisms, are derived from empirical observations and generalisation — ie, from induction), it seems that the quest for true and objective knowledge is revealed as a mirage.

There is no such thing as an unprovable truth in mathematics. It is true that a statement symbolizing the consistency of ZFC cannot be proved within ZFC, and that surprised many people at the time. In retrospect, the reverse would have been stranger. But it does not alter the ancient fact that all mathematical truths are proved from axioms. The lack of an internal consistency proof is just a surprising fact to newcomers to the field, like the irrationality of the square root of two, or the uncountability of the real numbers.

It is true that theorems are proved from axioms, and that is how math has worked for millennia. Yes, math gives us absolute and objective truth.

Goedel's most famous theorems say that statements are provable if and only if they are true in all the models, and that there is no computable algorithm for determining whether a statement is provable. His work is an affirmation of the axiomatic method, not a refutation of it. If there were such an efficient algorithm, then mindless application of it would replace the axiomatic method.

Supposedly Hilbert thought that an axiomatization of math should first prove the consistency of its axioms. If so, that was a stupid belief, because inconsistent axioms allow proof of anything. So using an axiom system to prove its own consistency is worthless because the proof would not mean that the axioms are consistent (because inconsistent axioms prove the same thing). Either Hilbert made a trivial mistake or he has been misinterpreted. I suspect the latter, as I cannot find where he clearly said that the axiomatization had to prove its own consistency.

Here is a BBC Radio 4 podcast on the Incompleteness theorem, with discussion of Hilbert's program. The scholars imply that Hilbert admitted defeat by not publicly commenting on Goedel's theorem. However Hilbert posed an assortment of other problems, and sometimes he speculated about a possible solution, but no one cares too much if his speculation differed from the later solution. I do not see any good reason to say that Hilbert was defeated.

Hilbert did say that the proof should be finitary, and worked to find such proof, but there was some disagreement at the time as to what would pass for such a proof. The nature of logic is that inconsistency has finitary proofs, but usually not consistency.

Consistency is never the main goal anyway. As was later shown, consistency allows belief in either the continuum hypothesis or its negation. Mathematicians want what is true, and consistency does not decide the issue.

Even mathematicians are too eager to concede that Hilbert was refuted. Wikipedia says:

Kurt Gödel showed ... This wipes out most of Hilbert's program as follows:But I do not think that Hilbert opposed any of these things.

It is not possible to formalize all of mathematics, ...

... there is no complete consistent extension of even Peano arithmetic with a recursively enumerable set of axioms, ...

A theory such as Peano arithmetic cannot even prove its own consistency, ...

There is no algorithm to decide the truth (or provability) of statements in any consistent extension of Peano arithmetic. ...

It is possible to formalize math in the sense of making all the theorems provable in a system like ZFC. Systems cannot prove their own consistency, but you would not want that anyway. And there is no magic truth algorithm to replace the axiomatic method.

All that shows that Hilbert's program was essentially correct, and not wrong.

Whether or not mathematical foundations developed according to Russell's or Hilbert's expectations is an amusing historical question, but not really relevant to whether math achieves objective truth.

The essence of Hilbert's Program is to reduce infinitistic mathematics to finitistic mathematics. That is an unqualified success. All modern mathematics uses finitary proofs.

Wikipedia says:

Ludwig Wittgenstein condemned set theory. He wrote that "set theory is wrong", since it builds on the "nonsense" of fictitious symbolism, has "pernicious idioms", and that it is nonsensical to talk about "all numbers".This is just ignorant foolishness from philosophers. Set theory is the foundation of mathematics. Logic ought to be a foundation for philosophers, but it is rare to find one with basic competence in the subject. For some reason, leftist philosophers and other academics like to deny the possibility of truth, and they hate logic. Wittgenstein is mainly famous for saying, "Whereof one cannot speak, thereof one must be silent." Maybe he should have kept quiet about set theory. So should Pigliucci and the other anti-truth philosophers.

Update: A comment links to some scholarly work. You can download a free copy of the first paper, The Scope of Gödel’s First Incompleteness Theorem, here or here.

See also Number theory and elementary arithmetic by Jeremy Avigad, Hilbert's Program Then and Now and Stanford Encyclopedia: Hilbert's Program by Richard Zach, and Hilbert's Program Revisited by Panu Raatikainen.

These articles make a good case that the essence of Hilbert's program was accomplished. They even argue that all the important theorems of modern mathematics can be proved in systems that have elementary consistency proofs.