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:
“Once we begin to appreciate that the apparent destructiveness of the toddler in taking apart a flower or knocking down sand castles is in fact a constructive effort to understand unity, we are able to revise our view of the situation, moving from reprimand and prohibition to the intelligent channeling of his efforts and the fostering of discovery.”
—Polly Berrien Berends (20th century)
“It is a monstrous thing to force a child to learn Latin or Greek or mathematics on the ground that they are an indispensable gymnastic for the mental powers. It would be monstrous even if it were true.”
—George Bernard Shaw (1856–1950)