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:

    “Certain branches cut
    certain leaves fallen
    the grapes
    cooked and put up
    for winter”
    —Denise Levertov (b. 1923)

    “The duty of government is to leave commerce to its own capital and credit as well as all other branches of business, protecting all in their legal pursuits, granting exclusive privileges to none.”
    —Andrew Jackson (1767–1845)

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