iansjack wrote:I am a self-taught in computer science/engineering and mathematics. I don't see how this is relevant, unless you wish to appeal to accomplishment. Let's stick to the math, shall we?
If I were to discuss heart surgery with you, then it would be relevant information that you had studied heart surgery and that you were not just regurgitating "facts" gleaned from Wikipedia. This is just as true if we are discussing abstract Mathematics. I can believe that you are self-taught.
Your second fallacy so far is a
false analogy since "self-taught" does not mean that I am, as you say, regurgitating "facts" gleaned from Wikipedia. I assure you I've done my share of study. I'm just skeptical of yours.
iansjack wrote:I haven't really got time to discuss all the intricacies of Complex Analysis with you; I can only say that if your understanding of the complex plane is that it is merely a geometric representation of complex numbers then you have had a poor teacher.
Luckly for you, I am not ignorant of the subject so you won't have to. Unfortunately for you, however, the definition of i cannot come from complex analysis since complex numbers are a prerequisite to it. You need a complex plane
before you can look at functions whose domains and codomains are in it. Since you don't have time/ability to make your case using complex analysis, I suggest you try to muster one using abstract algebra instead.
iansjack wrote:Why do I think "the number whose square is -1 is ambiguous"? Because there are two such numbers. It is as ambiguous as "the number whose square is 4"; that is not a definition of the number 2 ("the positive integer whose square is 4" would be an acceptable definition; that is unambiguous). A definition that does not define is not a definition.
I would have expected a PhD to know that all reals are fixed by two field automorphisms: the identity and the conjugate. I've vaguely mentioned the ambiguity that results from representing i as a matrix: the automorphism group of the special orthogonal group SO(2, ℝ) has the identity and the automorphism which changes the chosen direction on the unit circle. Conceptually, you have the same problem with the complex field, ℝ[x]/(x² + 1) .
iansjack wrote:Your insistence on the "right one", the fact that you even introduce such a concept, demonstrates that you fail to grasp the basics of Mathematics. Hardly surprising; it is a highly formalized system that cannot easily be grasped by self-tuition alone. By all means stick with your self-taught beliefs; that you cannot distinguish between a properties of a formal system and the axioms that define that system is of no consequence to me.
My grasp on mathematics seems to be better than your ability to comprehend written English. I'm claiming the exact opposite: there is no standardized direction. You can represent i as you like so long as you do so in a consistent manner. Your ordered pair formalism is one way to be more precise, my matrix formalism is another. But the ambiguity is still hidden in there, even if your notation is consistent.