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:

    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)

    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)

    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)