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:

    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)

    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)

    ...there is hope for a tree, if it is cut down, that it will sprout again, and that its shoots will not cease. Though its root grows old in the earth, and its stump dies in the ground, yet at the scent of water it will bud and put forth branches like a young plant. But mortals die, and are laid low; humans expire, and where are they?
    Bible: Hebrew, Job 14:7-10.