| word looked up : | home / archive |
DistinctIn mathematics (how about philosophy?), two things are called distinct if they are not equal. The word is usually used in the context of two things which might be the same, but which are not.
ExampleA quadratic equation over the complex numbers always has two roots.The equation
In contrast, the equation:
In other words, the first equation has distinct roots, while the second doesn't.
Proving distinctnessIn order to prove that two things x and y are distinct, it often helps to find some property that one has but not the other. For a simple example, if for some reason we had any doubt that the roots 1 and 2 in the above example were distinct, then we might prove this by noting that 1 is an odd number while 2 is even. This would prove that 1 and 2 are distinct. Along the same lines, one can prove that x and y are distinct by finding some function f and proving that f(x) and f(y) are distinct. This may seem like a simple idea, and it is, but many deep results in mathematics concern when you can prove distinctness by particular methods. For example, the Hahn Banach Theorem says (among other things) that distinct elements of a Banach space can be proved to be distinct using only linear functionals.
Philosophy of distinctnessI don't know what to say here, but there are issues. I can mention Leibniz's law[?] (which we don't have an article on); this is the claim that distinct things can always be proved distinct as in the last section by some property. These ideas could be discussed under Identity. There is some discussion at Identity and change. And that men
In collecting them I have been guided by the rule only to transcribe
the same in the sea, where it is caused by the straits of Gibraltar.
to vary because the days do not begin at the same time. All is still licensed under the GNU FDL.
|
|
|||||