4 ms·

> e^i*pi = -1 Gee, I think that extending the power series for e^x to the complex domain is a pretty fair interpretation of `metaphor' in the context.

chubot 14y ago
Like a lot of philosophical debates, this comes down to semantics. I don't think there's any useful way in which Euler's identity is a 'metaphor' for anything. Metaphor has a fairly specific definition; it is a type of analogy. An analogy is a type of association. As mentioned, I think it's fair to say that all thought is based on associations. But it isn't true that all thought is analogies or metaphors. There are simply other types of associations. I would call this case a "generalization", an extremely common thought process in mathematics, and an example of a kind of analogy (not a metaphor) where the original domain is a proper subset the new one. In other words, applying an idea from one domain to another is an analogy, not necessarily a metaphor. To claim otherwise is just being loose with words in a way that has no meaning.
- mike_sol 14y ago
  > I don't think there's any useful way in which Euler's identity is a 'metaphor' for anything. Euler's Identity isn't itself the metaphor, it's the equation we use to teach and understand it that is metaphorical. The letters themselves only mean "Euler's Identity" when imbued with the extra meanings that come from the symbolic framework of mathematics.
- pfortuny 14y ago
  The problem is that as we understand them today, mathematical formulas like yours are void of meaningful semantics unless you have any objective abstract notion of "infinite set", which seems not to be the case because "everything is a set", and "everything" is not an abstraction. So we have to deal with them as pure sequences of signs which are part of the set of deducible formulas. Your "understanding" (or mine or Euler's) of the formula is most likely a metaphor (well I'd say an analogy in this case) and is what led to its proof.

chubot 14y ago

Like a lot of philosophical debates, this comes down to semantics. I don't think there's any useful way in which Euler's identity is a 'metaphor' for anything. Metaphor has a fairly specific definition; it is a type of analogy. An analogy is a type of association. As mentioned, I think it's fair to say that all thought is based on associations. But it isn't true that all thought is analogies or metaphors. There are simply other types of associations. I would call this case a "generalization", an extremely common thought process in mathematics, and an example of a kind of analogy (not a metaphor) where the original domain is a proper subset the new one. In other words, applying an idea from one domain to another is an analogy, not necessarily a metaphor. To claim otherwise is just being loose with words in a way that has no meaning.

mike_sol 14y ago
> I don't think there's any useful way in which Euler's identity is a 'metaphor' for anything. Euler's Identity isn't itself the metaphor, it's the equation we use to teach and understand it that is metaphorical. The letters themselves only mean "Euler's Identity" when imbued with the extra meanings that come from the symbolic framework of mathematics.
pfortuny 14y ago
The problem is that as we understand them today, mathematical formulas like yours are void of meaningful semantics unless you have any objective abstract notion of "infinite set", which seems not to be the case because "everything is a set", and "everything" is not an abstraction. So we have to deal with them as pure sequences of signs which are part of the set of deducible formulas. Your "understanding" (or mine or Euler's) of the formula is most likely a metaphor (well I'd say an analogy in this case) and is what led to its proof.