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)

    Bare woods, whose branches strain,
    Deep caves and dreary main,—
    Wail, for the world’s wrong.
    Percy Bysshe Shelley (1792–1822)

    Think how stood the white pine tree on the shore of the Chesuncook, its branches soughing with the four winds, and every individual needle trembling in the sunlight,—think how it stands with it now,—sold, perchance, to the New England Friction-Match Company!
    Henry David Thoreau (1817–1862)