3 ms·

Premise: Forgive the sloppiness, I have some math background but I'm not a mathematician, any correction is more than welcome. I don't really conceptualize the

by qsort 6y ago

Premise: Forgive the sloppiness, I have some math background but I'm not a mathematician, any correction is more than welcome. I don't really conceptualize them as the same kind of object, to be honest. I'm aware exponentiation is more fundamental, but the kind of exponentiation you are referring to is related to the intuitive concept of "do this N times", which only makes sense for positive integers. When you are talking about real numbers, the notion of "repeated multiplication" and "exponentiation" diverge, for example, (-2)^2 is well defined and equal to (-2)(-2), but (-2)^(1/2) isn't, unless you relate it to the exponential function. Since the OP was about a notation proposal for working with real numbers, in that specific context I believe the more natural interpretation is to relate everything to the complex exponential and work your way up from there.

jessriedel 6y ago
> the kind of exponentiation you are referring to is related to the intuitive concept of "do this N times", which only makes sense for positive integers. But it works when "this" is an action that does not have a sensible notion of being applied a fractional number of times, or an infinite number of times, which is a very large and important set of actions indeed. > When you are talking about real numbers, the notion of "repeated multiplication" and "exponentiation" diverge Yes of course, but mere continuity of the inputs doesn't pick out exp from any other base you might choose besides e. You do not have to relate it to the exp function. > Since the OP was about a notation propos... My specific objection was to your suggestion that a^b is syntactic sugar, which suggests notational convenience that does not reflect what's going on "under the hood".
- qsort 6y ago
  > My specific objection was to your suggestion that a^b is syntactic sugar Yes, I agree that 'syntactic sugar' is not the word we are looking for here, I have no objections to your comment.

by qsort 6y ago

jessriedel 6y ago

> the kind of exponentiation you are referring to is related to the intuitive concept of "do this N times", which only makes sense for positive integers. But it works when "this" is an action that does not have a sensible notion of being applied a fractional number of times, or an infinite number of times, which is a very large and important set of actions indeed. > When you are talking about real numbers, the notion of "repeated multiplication" and "exponentiation" diverge Yes of course, but mere continuity of the inputs doesn't pick out exp from any other base you might choose besides e. You do not have to relate it to the exp function. > Since the OP was about a notation propos... My specific objection was to your suggestion that a^b is syntactic sugar, which suggests notational convenience that does not reflect what's going on "under the hood".

qsort 6y ago
> My specific objection was to your suggestion that a^b is syntactic sugar Yes, I agree that 'syntactic sugar' is not the word we are looking for here, I have no objections to your comment.