But the noncomputable numbers make me wonder if our notion of mathematics is too general/powerful.
And when e was defined as a symbol, it was with a computation, (1 + 1/n)^n
But the noncomputable numbers make me wonder if our notion of mathematics is too general/powerful.