Partial Resolution of The Crisis
Starting in 1935, the Bourbaki group of French mathematicians started publishing a series of books to formalize many areas of mathematics on the new foundation of set theory.
The intuitionistic school did not attract many adherents among working mathematicians, due to difficulties of constructive mathematics.
We may consider that Hilbert's program has been partially completed, so that the crisis is essentially resolved, satisfying ourselves with lower requirements than Hibert's original ambitions. His ambitions were expressed in a time when nothing was clear: we did not know if mathematics could have a rigorous foundation at all. Now we can say that mathematics has a clear and satisfying foundation made of set theory and model theory. Set theory and model theory are clearly defined and the right foundation for each other.
There are many possible variants of set theory which differ in consistency strength, where stronger versions (postulating higher types of infinities) contain formal proofs of the consistency of weaker versions, but none contains a formal proof of its own consistency. Thus the only thing we don't have is a formal proof of consistency of whatever version of set theory we may prefer, such as ZF. But it is still possible to justifiy the consistency of ZF in informal ways.
In practice, most mathematicians either do not work from axiomatic systems, or if they do, do not doubt the consistency of ZFC, generally their preferred axiomatic system. In most of mathematics as it is practiced, the incompleteness and paradoxes of the underlying formal theories never played a role anyway, and in those branches in which they do or whose formalization attempts would run the risk of forming inconsistent theories (such as logic and category theory), they may be treated carefully.
Toward the middle of the 20th century it turned out that set theory (ZFC or otherwise) was inadequate as a foundation for some of the emerging new fields, such as homological algebra, and category theory was proposed as an alternative foundation by Samuel Eilenberg and others.
Read more about this topic: Foundations Of Mathematics
Famous quotes containing the words partial, resolution and/or crisis:
“The only coöperation which is commonly possible is exceedingly partial and superficial; and what little true coöperation there is, is as if it were not, being a harmony inaudible to men. If a man has faith, he will coöperate with equal faith everywhere; if he has not faith, he will continue to live like the rest of the world, whatever company he is joined to.”
—Henry David Thoreau (1817–1862)
“I had crossed de line of which I had so long been dreaming. I was free; but dere was no one to welcome me to de land of freedom. I was a stranger in a strange land, and my home after all was down in de old cabin quarter, wid de ole folks, and my brudders and sisters. But to dis solemn resolution I came; I was free, and dey should be free also; I would make a home for dem in de North, and de Lord helping me, I would bring dem all dere.”
—Harriet Tubman (c. 1820–1913)
“The people of the United States have been fortunate in many things. One of the things in which we have been most fortunate has been that so far, due perhaps to certain basic virtues in our traditional ways of doing things, we have managed to keep the crisis of western civilization, which has devastated the rest of the world and in which we are as much involved as anybody, more or less at arm’s length.”
—John Dos Passos (1896–1970)