Re:Can 1/3 and 1/3 = 2/6? It seemed so
by tsimionescu on Tuesday May 26, 2020 @12:44PM
(#23313350)
There is a very important difference between types and quantities.
For example, 1/3 + 1/3 = 1 is true, if I mean 1/3 of 3 + 1/3 of 0. 1/3 + 1/3 = 2/6 can only be true if we add some quantities, we can't make it true by choosing the right types (we could fix it by choosing a different definition of +, or =, though).
For example, 1/3 + 1/3 = 1 is true, if I mean 1/3 of 3 + 1/3 of 0. 1/3 + 1/3 = 2/6 can only be true if we add some quantities, we can't make it true by choosing the right types (we could fix it by choosing a different definition of +, or =, though).