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:

    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)

    There are a thousand hacking at the branches of evil to one who is striking at the root, and it may be that he who bestows the largest amount of time and money on the needy is doing the most by his mode of life to produce that misery which he strives in vain to relieve.
    Henry David Thoreau (1817–1862)

    I know of no pursuit in which more real and important services can be rendered to any country than by improving its agriculture, its breed of useful animals, and other branches of a husbandman’s cares.
    George Washington (1732–1799)