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:

    A woman is a branchy tree
    And man a singing wind;
    And from her branches carelessly
    He takes what he can find.
    James Kenneth Stephens (1882–1950)

    A good word is as a good tree—
    its roots are firm,
    and its branches are in heaven;
    it gives its produce every season
    by the leave of its Lord.
    Qur’An. Abraham 14:29-30, ed. Arthur J. Arberry (1955)

    Certain branches cut
    certain leaves fallen
    the grapes
    cooked and put up
    for winter
    Denise Levertov (b. 1923)