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:
“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)
“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 (18851972)
“I couldnt 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 ArithmeticAmbition, Distraction, Uglification, and Derision.
I never heard of Uglification, Alice ventured to say.”
—Lewis Carroll [Charles Lutwidge Dodgson] (18321898)