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:

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

    They all came, some wore sentiments
    Emblazoned on T-shirts, proclaiming the lateness
    Of the hour, and indeed the sun slanted its rays
    Through branches of Norfolk Island pine as though
    Politely clearing its throat....
    John Ashbery (b. 1927)

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