![]() |
| If this is your first visit, be sure to check out the FAQ by clicking the link above. You may have to register before you can post: click the register link above to proceed. To start viewing messages, select the forum that you want to visit from the selection below. |
|
|||||||
| Tags: argument, core, error, finishing, proven |
|
|
Thread Tools | Display Modes |
|
#1
|
|||
|
|||
|
For me there have been two perspectives as I work to figure out how to
explain the definition problem in mathematics with LOTS of opposition, and I wonder about mathematicians so dedicated to attacking an argument that is clearly correct. I remind of that as I present what should finish their ability to distract, as I've seen a strange and dedicated effort to ignore the actual math, and simply toss up just about anything rather than face the truth. All variables are in the ring of algebraic integers unless otherwise stated. Let P(m) = f^2((m^3 f^4 - 3m^2 f^2 + 3m) x^3 - 3(-1+mf^2 )x u^2 + u^3 f) and let R(m) = (m^3 f^4 - 3m^2 f^2 + 3m) x^3 - 3(-1+mf^2 )x u^2 + u^3 f so P(m) = f^2 R(m). Now consider P(m) = (a_1 x + uf)(a_2 x + uf)(a_3 x + uf) where the a's are given by the following cubic: a^3 + 3(-1+mf^2)a^2 - f^2(m^3 f^4 - 3m^2 f^2 + 3m). Then it must be true that the following factorization exists R(m) = (b_1 x + u)(b_2 x + u)(b_3 x + uf) where the b's are given by the following cubic: b^3 + 3(-1+mf^2)b^2 - (m^3 f^4 - 3m^2 f^2 + 3m), where a_3 = b_3, and at m=0, b_3 = 3. PROOF: From R(m) = (m^3 f^4 - 3m^2 f^2 + 3m) x^3 - 3(-1+mf^2 )x u^2 + u^3 f at m=0, R(0) = u^2(3x + uf), and the cubic for the b's b^3 + 3(-1+mf^2)b^2 - (m^3 f^4 - 3m^2 f^2 + 3m), gives b^3 - 3b^2 = 0, which gives that two of the b's are 0, while the third is 3. That gives R(0) = (0 x + u)(0 x + u)(3 x + uf) = u^2( 3x + uf) as required. No other primitive (non-primitive is like 2x+2 which has a factor of 2) cubic has the required roots, so the cubic b^3 + 3(-1+mf^2)b^2 - (m^3 f^4 - 3m^2 f^2 + 3m) is the correct one. Then it follows that two of the a's have a factor that is f. However, it is possible to show that for certain integer values of f, and integer values of m, the a's do not *in the ring of algebraic integers* have f as a factor, which is a contradiction. Mathematicians can continue to run from the truth, but they must keep attacking algebra itself to do so. James Harris |
| Ads |
|
#2
|
|||
|
|||
|
"James Harris" wrote in message m... For me there have been two perspectives as I work to figure out how to explain the definition problem in mathematics with LOTS of opposition, and I wonder about mathematicians so dedicated to attacking an argument that is clearly correct. I remind of that as I present what should finish their ability to distract, as I've seen a strange and dedicated effort to ignore the actual math, and simply toss up just about anything rather than face the truth. All variables are in the ring of algebraic integers unless otherwise stated. Let P(m) = f^2((m^3 f^4 - 3m^2 f^2 + 3m) x^3 - 3(-1+mf^2 )x u^2 + u^3 f) and let R(m) = (m^3 f^4 - 3m^2 f^2 + 3m) x^3 - 3(-1+mf^2 )x u^2 + u^3 f so P(m) = f^2 R(m). Now consider P(m) = (a_1 x + uf)(a_2 x + uf)(a_3 x + uf) where the a's are given by the following cubic: a^3 + 3(-1+mf^2)a^2 - f^2(m^3 f^4 - 3m^2 f^2 + 3m). Then it must be true that the following factorization exists R(m) = (b_1 x + u)(b_2 x + u)(b_3 x + uf) where the b's are given by the following cubic: b^3 + 3(-1+mf^2)b^2 - (m^3 f^4 - 3m^2 f^2 + 3m), where a_3 = b_3, and at m=0, b_3 = 3. PROOF: From R(m) = (m^3 f^4 - 3m^2 f^2 + 3m) x^3 - 3(-1+mf^2 )x u^2 + u^3 f at m=0, R(0) = u^2(3x + uf), and the cubic for the b's b^3 + 3(-1+mf^2)b^2 - (m^3 f^4 - 3m^2 f^2 + 3m), gives b^3 - 3b^2 = 0, which gives that two of the b's are 0, while the third is 3. That gives R(0) = (0 x + u)(0 x + u)(3 x + uf) = u^2( 3x + uf) as required. No other primitive (non-primitive is like 2x+2 which has a factor of 2) cubic has the required roots, so the cubic b^3 + 3(-1+mf^2)b^2 - (m^3 f^4 - 3m^2 f^2 + 3m) is the correct one. Then it follows that two of the a's have a factor that is f. However, it is possible to show that for certain integer values of f, and integer values of m, the a's do not *in the ring of algebraic integers* have f as a factor, which is a contradiction. Mathematicians can continue to run from the truth, but they must keep attacking algebra itself to do so. James Harris James, Give us one number that proves your point. You've been asked to do so more times than I can count, but you haven't. Why? Simple, you can't produce such a number. If you could, I would have thought that you would have given such a number. You are so adamant about fame, that you aren't rational; I have difficulty following your claims, but have no problem understanding others' claims. This is because I am trained in mathematics; not to the extent of having a degree, but I have to wonder how much math you've actually taken. Your standard rebuttal to an objection is just to restate it as that will make it true. WE NEED PROOF! I can make a statement about my field, meteorology, and some who are outside of my field might take it at face value, but others in meteorology may look at it and ask why. If I can't back it up with SPECIFIC reasons, why should they believe me? It seems as if eight years ago, you thought you could flaunt this proof without any objections. Then when people do object, you call them liars or accuse them of being evil. It's time to grow up, James. David Moran |
|
#3
|
|||
|
|||
|
James Harris wrote:
For me there have been two perspectives as I work to figure out how to explain the definition problem in mathematics with LOTS of opposition, and I wonder about mathematicians so dedicated to attacking an argument that is clearly correct. I remind of that as I present what should finish their ability to distract, as I've seen a strange and dedicated effort to ignore the actual math, and simply toss up just about anything rather than face the truth. All variables are in the ring of algebraic integers unless otherwise stated. You didn't finish anything, or prove anything. You merely restated your flawed argument. Nor have you explained why you think (from other posts) that the rational number 1/2 *should be* in the ring of algebraic integers. As 1/2 is not the root of a monic polynomial with integer coefficients, it clearly should *not* be in the ring of algebraic integers. Nor have you provided any number you can prove *should be* in the ring of algebraic integers, but which is not. Your "proof" remains as error-ridden now as it has been since its inception. Get a life -- this ain't it! -- There are two things you must never attempt to prove: the unprovable -- and the obvious. -- Democracy: The triumph of popularity over principle. -- http://www.crbond.com |
|
#4
|
|||
|
|||
|
|
|
#5
|
|||
|
|||
|
In article ,
"C. Bond" wrote: You didn't finish anything, or prove anything. You merely restated your flawed argument. Nor have you explained why you think (from other posts) that the rational number 1/2 *should be* in the ring of algebraic integers. As 1/2 is not the root of a monic polynomial with integer coefficients, it clearly should *not* be in the ring of algebraic integers. Nor have you provided any number you can prove *should be* in the ring of algebraic integers, but which is not. Asking for 1/2 to be included in the algebraic integers is really utter stupidity - not that I would have expected anything else from Harris. The algebraic numbers are an extension of the rational numbers: They are the roots of polynomials of arbitrary high degree with integer coefficients, whereas the rational numbers are the roots of polynomials of degree 1. Restricting the leading coefficient to +/- 1 restricts the rational numbers to the integers. It obviously restricts the algebraic numbers in some way, and by analogy the resulting numbers are algebraic integers. The point being that non-integer rational numbers are excluded! |
|
#6
|
|||
|
|||
|
"C. Bond" wrote in message ... James Harris wrote: For me there have been two perspectives as I work to figure out how to explain the definition problem in mathematics with LOTS of opposition, and I wonder about mathematicians so dedicated to attacking an argument that is clearly correct. I remind of that as I present what should finish their ability to distract, as I've seen a strange and dedicated effort to ignore the actual math, and simply toss up just about anything rather than face the truth. All variables are in the ring of algebraic integers unless otherwise stated. You didn't finish anything, or prove anything. You merely restated your flawed argument. Nor have you explained why you think (from other posts) that the rational number 1/2 *should be* in the ring of algebraic integers. I can't imaging a math argument that produces the word "should". How to prove the statement "A should be B"? I know how I can prove "A is B" or "A is not B", but not that weird one. As 1/2 is not the root of a monic polynomial with integer coefficients, it clearly should *not* be in the ring of algebraic integers. Nor have you provided any number you can prove *should be* in the ring of algebraic integers, but which is not. Your "proof" remains as error-ridden now as it has been since its inception. Get a life -- this ain't it! -- There are two things you must never attempt to prove: the unprovable -- and the obvious. -- Democracy: The triumph of popularity over principle. -- http://www.crbond.com |
|
#7
|
|||
|
|||
|
|
|
#8
|
|||
|
|||
|
C. Bond wrote:
Asking for 1/2 to be included in the algebraic integers is really utter stupidity - not that I would have expected anything else from Harris. The algebraic numbers are an extension of the rational numbers: They are the roots of polynomials of arbitrary high degree with integer coefficients, whereas the rational numbers are the roots of polynomials of degree 1. Restricting the leading coefficient to +/- 1 restricts the rational numbers to the integers. It obviously restricts the algebraic numbers in some way, and by analogy the resulting numbers are algebraic integers. The point being that non-integer rational numbers are excluded! The "correct" definition of an algebraic integer can be motivated much more convincingly. See my prior posts for classical methods http://google.com/groups?selm=y8zllt...tle.ai.mit.edu http://google.com/groups?selm=y8zr83...tle.ai.mit.edu -Bill Dubuque |
|
#9
|
|||
|
|||
|
Followups to sci.math.
In sci.physics, James Harris wrote on 12 Oct 2003 10:13:34 -0700 : For me there have been two perspectives as I work to figure out how to explain the definition problem in mathematics with LOTS of opposition, and I wonder about mathematicians so dedicated to attacking an argument that is clearly correct. I remind of that as I present what should finish their ability to distract, as I've seen a strange and dedicated effort to ignore the actual math, and simply toss up just about anything rather than face the truth. All variables are in the ring of algebraic integers unless otherwise stated. Let P(m) = f^2((m^3 f^4 - 3m^2 f^2 + 3m) x^3 - 3(-1+mf^2 )x u^2 + u^3 f) and let R(m) = (m^3 f^4 - 3m^2 f^2 + 3m) x^3 - 3(-1+mf^2 )x u^2 + u^3 f so P(m) = f^2 R(m). Now consider P(m) = (a_1 x + uf)(a_2 x + uf)(a_3 x + uf) where the a's are given by the following cubic: a^3 + 3(-1+mf^2)a^2 - f^2(m^3 f^4 - 3m^2 f^2 + 3m). Then it must be true that the following factorization exists R(m) = (b_1 x + u)(b_2 x + u)(b_3 x + uf) where the b's are given by the following cubic: b^3 + 3(-1+mf^2)b^2 - (m^3 f^4 - 3m^2 f^2 + 3m), where a_3 = b_3, and at m=0, b_3 = 3. An interesting problem for you. Setting m = 1, u = 1, f = 2, one gets P(1) = 28*x^3 - 36*x + 8, or R(1) = P(1)/f^2 = 7*x^3 - 9*x + 2. x=1 is clearly a root here. Dividing, we get R(m) = (x-1) * (7*x^2 + 7*x - 2) so the other two roots are 1/2 +/- sqrt(105)/14. Your 'a-cubic' is given by C_a = a^3 + 9*a^2 - 28 By a little empirical testing (translation: I got lucky :-) ), a_1 = -2; this gives C_a = (a+2)(a^2 + 7*a - 14), which factors further into (a+2)(a+7/2-sqrt(105)/2)(a+7/2+sqrt(105)/2). So far, not too bad; a_1 is clearly divisible by 2 (-2/2 is an algebraic integer). The other two roots, however, are not, as (x+7/4-sqrt(105)/4)*(x+7/4+sqrt(105)/4) = x^2+7/2x-7/2 Clearly, 7/4ħsqrt(105)/4 are not algebraic integers; therefore 7/2ħsqrt(105)/2 are not divisible by 2. Your 'b-cubic' is given by C_b = b^3 + 9*b^2 - 7. It turns out this cubic is not zeroed by any of the following: x = -2 x = -1 x = -1/2 x = -7/2+sqrt(105)/2 x = -7/4+sqrt(105)/4 x = -7/8+sqrt(105)/8 x = -7/2-sqrt(105)/2 x = -7/4-sqrt(105)/4 x = -7/8-sqrt(105)/8 which therefore means I've found a counterexample to your "a_3 = b_3" hypothesis in your above statement. (I don't know the actual roots of C_b. I'm not sure I need to. Please verify the above computations, then fix your proof, James.) [rest snipped] -- #191, It's still legal to go .sigless. |
| Thread Tools | |
| Display Modes | |
|
|
Similar Threads
|
||||
| Thread | Thread Starter | Forum | Replies | Last Post |
| Core error, FEAR is a natural response | James Harris | Physics - General Discussion | 60 | October 22nd 03 04:40 AM |
| Mathematicians, fear, and core error | James Harris | Physics - General Discussion | 8 | October 13th 03 06:45 PM |
| Core error, proof checking | James Harris | Physics - General Discussion | 19 | October 12th 03 11:09 PM |
| Use of variable independence, core error | James Harris | Physics - General Discussion | 6 | October 11th 03 06:36 PM |
| Bane of mathematics, core error | James Harris | Physics - General Discussion | 6 | October 7th 03 09:44 PM |