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:
“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)
“Certain branches cut
certain leaves fallen
the grapes
cooked and put up
for winter”
—Denise Levertov (b. 1923)
“They all came, some wore sentiments
Emblazoned on T-shirts, proclaiming the lateness
Of the hour, and indeed the sun slanted its rays
Through branches of Norfolk Island pine as though
Politely clearing its throat....”
—John Ashbery (b. 1927)