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)
“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)
“Mathematics alone make us feel the limits of our intelligence. For we can always suppose in the case of an experiment that it is inexplicable because we don’t happen to have all the data. In mathematics we have all the data ... and yet we don’t understand. We always come back to the contemplation of our human wretchedness. What force is in relation to our will, the impenetrable opacity of mathematics is in relation to our intelligence.”
—Simone Weil (1909–1943)