Branches
- Constructive logic
- Constructive type theory
- Constructive analysis
- Constructive non-standard analysis
Read more about this topic: Constructivism (mathematics)
Famous quotes containing the word branches:
“I know of no pursuit in which more real and important services can be rendered to any country than by improving its agriculture, its breed of useful animals, and other branches of a husbandman’s cares.”
—George Washington (1732–1799)
“Bare woods, whose branches strain,
Deep caves and dreary main,—
Wail, for the world’s wrong.”
—Percy Bysshe Shelley (1792–1822)
“Different persons growing up in the same language are like different bushes trimmed and trained to take the shape of identical elephants. The anatomical details of twigs and branches will fulfill the elephantine form differently from bush to bush, but the overall outward results are alike.”
—Willard Van Orman Quine (b. 1908)