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:
“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)
“In the woods in a winter afternoon one will see as readily the origin of the stained glass window, with which Gothic cathedrals are adorned, in the colors of the western sky seen through the bare and crossing branches of the forest.”
—Ralph Waldo Emerson (1803–1882)
“Bare woods, whose branches strain,
Deep caves and dreary main,—
Wail, for the world’s wrong.”
—Percy Bysshe Shelley (1792–1822)