Constructive Mathematics
In constructive mathematics, one often takes a setoid with an apartness relation instead of an equivalence relation, called a constructive setoid. One sometimes also considers a partial setoid using a partial equivalence relation or partial apartness. (see e.g. Barthe et al., section 1)
Read more about this topic: Setoid
Famous quotes containing the words constructive and/or mathematics:
“Friendship among nations, as among individuals, calls for constructive efforts to muster the forces of humanity in order that an atmosphere of close understanding and cooperation may be cultivated.”
—Franklin D. Roosevelt (1882–1945)
“Why does man freeze to death trying to reach the North Pole? Why does man drive himself to suffer the steam and heat of the Amazon? Why does he stagger his mind with the mathematics of the sky? Once the question mark has arisen in the human brain the answer must be found, if it takes a hundred years. A thousand years.”
—Walter Reisch (1903–1963)