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:
“A good word is as a good tree—
its roots are firm,
and its branches are in heaven;
it gives its produce every season
by the leave of its Lord.”
—Qur’An. Abraham 14:29-30, ed. Arthur J. Arberry (1955)
“There are a thousand hacking at the branches of evil to one who is striking at the root, and it may be that he who bestows the largest amount of time and money on the needy is doing the most by his mode of life to produce that misery which he strives in vain to relieve.”
—Henry David Thoreau (1817–1862)
“Think how stood the white pine tree on the shore of the Chesuncook, its branches soughing with the four winds, and every individual needle trembling in the sunlight,—think how it stands with it now,—sold, perchance, to the New England Friction-Match Company!”
—Henry David Thoreau (1817–1862)