Constructivism (mathematics) - Branches

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 (1885–1972)

    “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)