History
Kurt Gödel proved the countable compactness theorem in 1930. Anatoly Maltsev proved the uncountable case in 1936.
Read more about this topic: Compactness Theorem
Famous quotes containing the word history:
“These anyway might think it was important
That human history should not be shortened.”
—Robert Frost (1874–1963)
“If usually the “present age” is no very long time, still, at our pleasure, or in the service of some such unity of meaning as the history of civilization, or the study of geology, may suggest, we may conceive the present as extending over many centuries, or over a hundred thousand years.”
—Josiah Royce (1855–1916)
“English history is all about men liking their fathers, and American history is all about men hating their fathers and trying to burn down everything they ever did.”
—Malcolm Bradbury (b. 1932)