Earlier quoted context omitted.
The point is that f.g (or, as a mathematician or physicist might write it, ⟨f, g⟩ or ⟨f|g⟩) has no independent meaning, but must be defined ; and one way to define it (for `L^2` functions, the only one compatible with the `L^2` norm) is as stephencanon did at https://news.ycombinator.com/item?id=9620263 .
Well, it's not just any arbitrary definition, it's the projection of f onto g. Intuitively, sum(f_i * g_i).
'Projection' also has no intuitive (EDIT: I meant 'intrinsic') meaning; "inner product" is the same structure as "projection + norm" (subject to appropriate axioms). Anyway, I didn't mean to claim that the definition was arbitrary, but rather that there was no way to argue against it: definitions can't be wrong (at worst, they can be infelicitous, uninteresting, or uninhabited).
> Intuitively, sum(f_i * g_i).
I think rndn (https://news.ycombinator.com/item?id=9621422 )'s objection applies to this intuition: to get a reasonable approximation of the integral, you need a lot of sample points, and any sum that doesn't take into account the spacing of those sample points has a good chance of diverging. (Consider f = g = 1, so that the sum is just a count of the number of sample points!)
Once you write sum(f(x_i) * g(x_i) * (dx)_i), of course, this becomes just notation for (a sequence of) Riemann sums, whose limit is by definition the integral (for continuous functions).