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:
“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)
“What are the roots that clutch, what branches grow
Out of this stony rubbish?”
—T.S. (Thomas Stearns)
““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)