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:
“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)
“A good word is as a good tree—
its roots are firm,
and its branches are in heaven;
it gives its produce every season
by the leave of its Lord.”
—Qur’An. Abraham 14:29-30, ed. Arthur J. Arberry (1955)
“In mathematics he was greater
Than Tycho Brahe, or Erra Pater:
For he, by geometric scale,
Could take the size of pots of ale;
Resolve, by sines and tangents straight,
If bread and butter wanted weight;
And wisely tell what hour o’ th’ day
The clock doth strike, by algebra.”
—Samuel Butler (1612–1680)