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:
““I couldn’t afford to learn it,” said the Mock Turtle with a sigh. “I only took the regular course.”
“What was that?” inquired Alice.
“Reeling and Writhing, of course, to begin with,” the Mock Turtle replied; “and then the different branches of Arithmetic—Ambition, Distraction, Uglification, and Derision.”
“I never heard of ‘Uglification,’” Alice ventured to say.”
—Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)
“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)
“Go to the adolescent who are smothered in family—
Oh how hideous it is
To see three generations of one house gathered together!
It is like an old tree with shoots,
And with some branches rotted and falling.”
—Ezra Pound (1885–1972)