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:
“Certain branches cut
certain leaves fallen
the grapes
cooked and put up
for winter”
—Denise Levertov (b. 1923)
“We are nothing but ceremony; ceremony carries us away, and we leave the substance of things; we hang on to the branches and abandon the trunk and body.”
—Michel de Montaigne (1533–1592)
“...there is hope for a tree, if it is cut down, that it will sprout again, and that its shoots will not cease. Though its root grows old in the earth, and its stump dies in the ground, yet at the scent of water it will bud and put forth branches like a young plant. But mortals die, and are laid low; humans expire, and where are they?”
—Bible: Hebrew, Job 14:7-10.