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:
“It is comforting when one has a sorrow to lie in the warmth of one’s bed and there, abandoning all effort and all resistance, to bury even one’s head under the cover, giving one’s self up to it completely, moaning like branches in the autumn wind. But there is still a better bed, full of divine odors. It is our sweet, our profound, our impenetrable friendship.”
—Marcel Proust (1871–1922)
“Certain branches cut
certain leaves fallen
the grapes
cooked and put up
for winter”
—Denise Levertov (b. 1923)
“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)