List Of Statements Undecidable In ZFC
The mathematical statements discussed below are provably undecidable in ZFC (the Zermelo–Fraenkel axioms plus the axiom of choice, the canonical axiomatic set theory of contemporary mathematics), assuming that ZFC is consistent.
Read more about List Of Statements Undecidable In ZFC: Axiomatic Set Theory, Set Theory of The Real Line, Order Theory, Group Theory, Measure Theory, Functional Analysis
Famous quotes containing the words list of, list and/or statements:
“Religious literature has eminent examples, and if we run over our private list of poets, critics, philanthropists and philosophers, we shall find them infected with this dropsy and elephantiasis, which we ought to have tapped.”
—Ralph Waldo Emerson (1803–1882)
“A man’s interest in a single bluebird is worth more than a complete but dry list of the fauna and flora of a town.”
—Henry David Thoreau (1817–1862)
“The true critic is a scrupulous avoider of formulae; he refrains from statements which pretend to be literally true; he finds fact nowhere and approximation always.”
—T.S. (Thomas Stearns)