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

    It is comforting when one has a sorrow to lie in the warmth of one’s bed and there, abandoning all effort and all resistance, to bury even one’s head under the cover, giving one’s self up to it completely, moaning like branches in the autumn wind. But there is still a better bed, full of divine odors. It is our sweet, our profound, our impenetrable friendship.
    Marcel Proust (1871–1922)

    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)