▲ | griffzhowl 4 days ago | |
It depends on the particular construction. You could construct the "complex rational field" by adding i to the rationals with the rule i^2 = -1. That seems to be what Wildberger is ok with. The standard complex numbers involve adding i to the real numbers, which Wildberger doesn't like. I don't know how you'd do electrical engineering with the rational complex field, because electrical engineering and physics in general involves a lot of irrational quantities and calculus, and the standard foundations of these concepts use real numbers. It's really up to finitists to show that there are problems with these methods and that they have a better way of doing things, because so far the standard way seems to work very well. |