Register | Sign In


Understanding through Discussion


EvC Forum active members: 64 (9164 total)
3 online now:
Newest Member: ChatGPT
Post Volume: Total: 916,889 Year: 4,146/9,624 Month: 1,017/974 Week: 344/286 Day: 0/65 Hour: 0/0


Thread  Details

Email This Thread
Newer Topic | Older Topic
  
Author Topic:   Physics contradicts maths - how is this possible?
Modulous
Member
Posts: 7801
From: Manchester, UK
Joined: 05-01-2005


Message 20 of 69 (442451)
12-21-2007 10:42 AM
Reply to: Message 18 by kongstad
12-21-2007 8:01 AM


There is a simpler proof, in my opinion:
10x-x = 9x
x=0.999...
therefore
9.999... - 0.999... = 9x
therefore
9 = 9x
therefore
x=1=0.999...
Oh, I see Rick got there first. Nevermind...
Edited by Modulous, : d'oh

This message is a reply to:
 Message 18 by kongstad, posted 12-21-2007 8:01 AM kongstad has not replied

Replies to this message:
 Message 21 by sinequanon, posted 12-21-2007 10:50 AM Modulous has replied

  
Modulous
Member
Posts: 7801
From: Manchester, UK
Joined: 05-01-2005


Message 22 of 69 (442477)
12-21-2007 12:43 PM
Reply to: Message 21 by sinequanon
12-21-2007 10:50 AM


It's not an acceptable mathematical proof, because you are assuming certain facts about the convergence of the series and convergent series in general.
I just assumed that 9/10 - 9/10 = 0 that 9/100 - 9/100 = 0 and that this continues all the way. Thus 0.999... - 0.999... = 0. These are the same assumptions that kongstad used, only presented in algebraic form which I consider simpler to understand.
Hopefully you don't feel that x - x = 0 is an assumption that is not warranted do you?

This message is a reply to:
 Message 21 by sinequanon, posted 12-21-2007 10:50 AM sinequanon has replied

Replies to this message:
 Message 23 by sinequanon, posted 12-21-2007 12:56 PM Modulous has replied
 Message 27 by bluescat48, posted 12-21-2007 2:24 PM Modulous has not replied

  
Modulous
Member
Posts: 7801
From: Manchester, UK
Joined: 05-01-2005


Message 28 of 69 (442519)
12-21-2007 2:45 PM
Reply to: Message 23 by sinequanon
12-21-2007 12:56 PM


x = 1 + 2 + 4 + 8 + 16 + ....
2x = 2 + 4 + 8 + 16 + ....
2x - x = -1 (subtracting terms and "going all the way").
x = -1
Right you just proved that 2 x infinity = infinity. Irrelevant to the fact that x-x = 0 for all real numbers. Are you suggesting that π - π does not equal 0?

This message is a reply to:
 Message 23 by sinequanon, posted 12-21-2007 12:56 PM sinequanon has replied

Replies to this message:
 Message 29 by sinequanon, posted 12-21-2007 2:55 PM Modulous has replied

  
Modulous
Member
Posts: 7801
From: Manchester, UK
Joined: 05-01-2005


Message 30 of 69 (442538)
12-21-2007 3:40 PM
Reply to: Message 29 by sinequanon
12-21-2007 2:55 PM


You can't assume you have a real number until you show your sequence converges. You can't talk of x or x - x until you have shown it is a real number.
If it's not a real number, then it doesn't matter does it?
My example showed what can go wrong if the sequence diverges.
Yes I can see that. I'm not sure how one could argue that 9/10 + 9/100 +9/1000... diverges.
Also, "2 x infinity = infinity" is not a valid mathematical equation, so no proof there.
It wasn't meant to be mathematical equation. Replace it with English if it makes things better for you. You proved that the sum of two infinite values is itself an infinite value.
You need to open a book on mathematical analysis. You are murdering the subject.
I seriously doubt I am murdering that which I am not engaging in. A few lines of algebra that were provided to me via a mathematician hardly constitutes a rigorous but absurdly inaccurate mathematical analysis.
You need to first understand the field axioms and what constitutes a logical mathematical argument.
Obviously, why would I argue with that? I didn't say my proof was better or more thorough. It was more simple, obviously that means less axioms are explained. The more rigorous proofs could in theory take hundreds of pages of axiom declarations - I am not going to embarrass myself or murder the subject by attempting it.

This message is a reply to:
 Message 29 by sinequanon, posted 12-21-2007 2:55 PM sinequanon has replied

Replies to this message:
 Message 32 by sinequanon, posted 12-21-2007 3:55 PM Modulous has replied

  
Modulous
Member
Posts: 7801
From: Manchester, UK
Joined: 05-01-2005


Message 37 of 69 (442595)
12-21-2007 6:15 PM
Reply to: Message 32 by sinequanon
12-21-2007 3:55 PM


Yes it does. It could mean the sequence diverges.
Of course it matters for the proof. It doesn't really matter in context unless Agobot is of the opinion that it does diverge. I don't see that is the case, and it seems implied that Agobot does not think they diverge.
'Not being sure how one could argue otherwise' is not mathematics.
An obvious statement. Did you think that I thought it was mathematics that you needed to correct me?

This message is a reply to:
 Message 32 by sinequanon, posted 12-21-2007 3:55 PM sinequanon has replied

Replies to this message:
 Message 38 by sinequanon, posted 12-22-2007 5:46 AM Modulous has replied

  
Modulous
Member
Posts: 7801
From: Manchester, UK
Joined: 05-01-2005


Message 39 of 69 (442655)
12-22-2007 7:26 AM
Reply to: Message 38 by sinequanon
12-22-2007 5:46 AM


I suppose what you are saying is that it is 'obvious' to you that this one converges, so you didn't bother to prove it?
We are on a debate forum, not a pure mathematics exam. I only bother to debate points that are under contention. As I said, it is possible to fill every answer with pages of axioms - but why bother if everyone already accepts them? How would that advance the debate?
Further - a more complete proof had already been given, I gave an admittedly much simpler one which was obviously less complete that might help Agobot understand the point, serving a springboard to further discussion.
Now, had Agobot turned around and said "But, you are assuming that the series converges", then we'd could move from there to demonstrating that it does. Baby steps, in debate, often prove more valuable than taking great leaps.

This message is a reply to:
 Message 38 by sinequanon, posted 12-22-2007 5:46 AM sinequanon has replied

Replies to this message:
 Message 43 by sinequanon, posted 12-22-2007 10:17 AM Modulous has replied

  
Modulous
Member
Posts: 7801
From: Manchester, UK
Joined: 05-01-2005


Message 44 of 69 (442709)
12-22-2007 12:10 PM
Reply to: Message 43 by sinequanon
12-22-2007 10:17 AM


It wasn't just incomplete, it was a wrong method. Convergence would normally be proved by showing the series tends to one. In this case assuming convergence would be assuming the thing you are trying to prove.
Perhaps you are yet again misunderstanding my purpose; it was to serve as a point of advancing discussion rather than piling on with mathematics that Agobot might have been ignorant of. If Agobot was able to follow kongstad's proof, then that is fine. However, it might have been over his head so I thought I'd start with something else. In some circumstances I have found it useful for springboarding discussion onto more advanced and correct matters. I find that a good way to learn is to try and argue against a certain position - but it helps if you understand the position.
As wiki usefully summarises:
quote:
The validity of the digit manipulations in the above two proofs does not have to be taken on faith or as an axiom; it can be proven by investigating the fundamental relationship between decimals and the numbers they represent. For finite decimals, this process relies only on the arithmetic of real numbers. To prove that the manipulations also work for infinite decimals, one needs the methods of real analysis.
I guess something akin to springboarding did occur, which is good, but the original poster hasn't chimed in since the question was asked and things are devolving into needless pedantry. I don't dispute your points from a pure mathematics point of view - I just dispute the wisdom of requiring ironclad proofs for all statements in a debate setting. I eagerly await Agobot's return to see what they make of the subsequent discussion.

This message is a reply to:
 Message 43 by sinequanon, posted 12-22-2007 10:17 AM sinequanon has replied

Replies to this message:
 Message 45 by sinequanon, posted 12-22-2007 1:05 PM Modulous has replied

  
Modulous
Member
Posts: 7801
From: Manchester, UK
Joined: 05-01-2005


Message 46 of 69 (442726)
12-22-2007 1:15 PM
Reply to: Message 45 by sinequanon
12-22-2007 1:05 PM


Yes, that might be the case, which is why I said I eagerly await any replies by Agobot to see where things go from here.

This message is a reply to:
 Message 45 by sinequanon, posted 12-22-2007 1:05 PM sinequanon has not replied

  
Newer Topic | Older Topic
Jump to:


Copyright 2001-2023 by EvC Forum, All Rights Reserved

™ Version 4.2
Innovative software from Qwixotic © 2024