Intuitionism - Branches of Intuitionistic Mathematics

Branches of Intuitionistic Mathematics

  • Intuitionistic logic
  • Intuitionistic arithmetic
  • Intuitionistic type theory
  • Intuitionistic set theory
  • Intuitionistic analysis

Read more about this topic:  Intuitionism

Famous quotes containing the words branches of, branches and/or mathematics:

    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)

    It is comforting when one has a sorrow to lie in the warmth of one’s bed and there, abandoning all effort and all resistance, to bury even one’s head under the cover, giving one’s self up to it completely, moaning like branches in the autumn wind. But there is still a better bed, full of divine odors. It is our sweet, our profound, our impenetrable friendship.
    Marcel Proust (1871–1922)

    ... though mathematics may teach a man how to build a bridge, it is what the Scotch Universities call the humanities, that teach him to be civil and sweet-tempered.
    Amelia E. Barr (1831–1919)