Constructive Mathematics
Separability is especially important in numerical analysis and constructive mathematics, since many theorems that can be proved for nonseparable spaces have constructive proofs only for separable spaces. Such constructive proofs can be turned into algorithms for use in numerical analysis, and they are the only sorts of proofs acceptable in constructive analysis. A famous example of a theorem of this sort is the Hahn–Banach theorem.
Read more about this topic: Separable Space
Famous quotes containing the words constructive and/or mathematics:
“Work is a responsibility most adults assume, a burden at times, a complication, but also a challenge that, like children, requires enormous energy and that holds the potential for qualitative, as well as quantitative, rewards. Isn’t this the only constructive perspective for women who have no choice but to work? And isn’t it a more healthy attitude for women writhing with guilt because they choose to compound the challenges of motherhood with work they enjoy?”
—Melinda M. Marshall (20th century)
“... though mathematics may teach a man how to build a bridge, it is what the Scotch Universities call the humanities, that teach him to be civil and sweet-tempered.”
—Amelia E. Barr (1831–1919)