1=0.99999....

Sabine

x= 0.99999....

10x = 9.999999.....
10x= 9+ 0.99999.....
10x-x = 9
9x=9
x=1

=====> 1= 0.99999....

is there smthg wrong?

Coqui

Nope. .999... (infinitely repeating) is indistinguishable from 1.

Philocrat

Mathematicians (and paherps those in quantitative disciplines too) might not have problems with these mathematical propositions that you are invoking, but I can assure you that philosophers would definitely have serious problems with them. For a start, metaphyisicians, epistologists, Logicians, language philosophers, and philosophers in the philosophy of science discipline would be outraged by these sort of m-propositions.

Perhaps, if they feel like being generous, they would accept them as approximations. But in a hard-headed mode of philosophysical analysis, such approximations would not pass for sound and conclusive mathematical truths.

Infact, leaving philosophers aside, in the real world such m-propositions would not stand a chance. Simply, it would be practically unaceptable in many practical circumstances or situations. For example, take a peny out of ten pounds (£10) and what results is £9.99. Without wandering too far to draw a concret example, I have personally encountered several instances where the shopkeeeper resfused to accept a price with a missing penny (ie refused to accept £9.99 for a £10 price.) Practically, it seems that these shopkeepers refused because of the missing penny (£0.01). Also, if you take a penny out of one million pounds you are no longer a millionaire for a very obvious practical reason (£1,000,000 - £0.01 = 999,999.99).

IMPORTANT POINT

Mathematicians must keep 'Absolute Truths' separate from 'Natural Approximations'. They are two fundamentally different things. Philosophers, especially those in the above listed disciplines, rigorously enforce this distinction. The world where we can avoid fractions and the usual associated vagueness is currently a distanced dream, if not completely an impossiblity. I have suggested elsehwere on this PF the need to start looking at the "MATHEMATICS OF 'THE PERFECT FIT'" that governs a 'paraplexed world or universe'.

LeBrad

There is tons of stuff here on this already. Just do a search for "0.999".

And if you try to argue that they are not equal, people will laugh and point their fingers at you.


# 1
# 2
# 3

And so forth...

Philocrat

Well, personally, I interpret 1 = 0.999 as 'Mathematics being at the mercy of its superior', Metaphyiscs, that is responssible for setting forth and grounding all metaphysical categories, including those of Logic and Mathematics. Without going into other philosophysical disciplines that obviously have a catalogue of issues on the whole issue of Vagueness in general, in Metaphysics, the mathematical proposition 1 = 0.999 implies 'A WHOLE IS EQUAL TO A PROPORTION OF ITSELF'. This is the clearest interpretation in philosophy. In fact, in Analytical philosophy which comprises of language, logic, mathematics, epistemology and metaphysics, this M-proposition would be collectively constured as "A SET IS EQUAL TO ONE OF ITS SUBSETS", which is logically and quantitatively absurd. What happens to its other missing sets or subsets?

In Logic, the standard assumption handed down from Aristotle to us is that, everything is self-identical or is identical to itself. My argument is that even in mathematics, the proposition 1 = 0.999 fundamentally violates Aristotle's First Law of Identity. In Aristotelian Logical system 1 = 1 would surfice becuase it respects completely (that is, in non-approximate way) Aristotle's First Law of identity.

NOTE: Notice that here I am not trying to play down all the noises made in mathematics. Here I am only stating how such m-propositions would be confronted in various philosophical disciplines. Like I have warned, ABSOUTE TRUTH-VALUES should be kept separate from APPROXIMATE TRUTH-VALUES, regardless of which quantitative disciplines that we are in.

Hurkyl

Well, this isn't the philosophy forum, so .

The usual fallacy from which most suffer when objecting to 1 = 0.999... is that they are confusing a mathematical object with the notation used for that object.

And frankly, it boggles me why people have such trouble working through this confusion: they have no problem with 10/15 and 14/21 being different notations for the same object.

krab

Philo, maybe you missed the dots. No one is saying 1=0.999 . But 1=0.999... See the difference? The dots represent an infinite number of 9's not any finite number.

Integral

Surely not, the equality, 1 = .999.... is a logical result based on the axioms and definitons of mathematics. I learned symbolic logic in a philosphy class. So unless they can find an error in the proof of this fact, knowledable philosiphers whould have to accept it as a logical fact.

mathwonk

perhaps philo thought the dots were an ellipsis, as if we had said 1 = .9999, and then wandered off mentally for a while.

it might have been better then to write 1 = (.99999....).

but i doubt it will catch on.

rachmaninoff

Is " 0.999... " notationally rigorous? What if I use [tex]0.99\Bar{9}[/tex] instead?

mathwonk

i think you are right that .999... is used also for other numbers than 1, but your notation is not.

vsage

In response to the OP, I think his conclusion is valid but I am used to a little more in a proof. Since I didn't see any correction to what I said in a previous thread on the subject, I think that assuming an infinitely repeating decimal can be immediately compared to a real number is a little jump in logic (although we do it all the time with no mental anguish)

mathwonk

to assign a real number to an infinite decimal, one needs a definition of what that real number is, and a proof it exists as defined. the simplest definition (for positive ones) is the "smallest real number not smaller than any of the finite decimal truncations".

this is entirely equivalent to, but more fundamental than, the infinite series definition, since the series definition depends on this one for its proof of convergence. thus it is to me a bit silly to use the infinite series definition in this simple context.

i.e. rigorously explained, the infinite series definition, and its justification go like this:

1)define the infinite decimal .a1 a2 a3 ....an..... as the "sum" of the series

a1/10 + a2//(10)^2 +....+an/(10)^n +......

2) to prove that series has a sum, we define the sum as the limit of the sequence of partial sums, and then we must prove that sequence has a limit.

3) then we state the theorem that a monotone increasing sequence has a limit and prove it by invoking the lub axiom of reals, the proof being that the limit is the smallest number not smaller than any element of the sequence (sound familiar?).

finally,
4) the sequence of partial sums is merely the sequence of finite decimal truncations, hence the limit of the sequence of partial sums of the infinite series determined by the decimal, is indeed the "smallest real number not smaller than any of the finite decimal truncations".

i.e. we are back where we started.

Thus one might as well, or better, make that the definition in the first place, especially with beginning classses who do not know what an infinite series is. [hopefully no one will maintain that the concept of infinite series is more basic than that of a real number.]

now the proof that 1 is the smallest number not smaller than any finite decimal of form .9999...9, is the same in spirit as the proof of the sum of the geometric series, only easier.

i.e. the difference 1 - .99999....9 (n terms), is 1/(10)^n = .00....001, (n-1 zeroes), which is eventually smaller than any given finite decimal, hence no number smaller than 1 can be as large as all these finite decimals.

i say again that anyone who does not understand this, cannot possibly have understood calculus as any more than a basket of formulas.

Night Owl

Wouldn't another way to say this be that, for any given finite number less than 1, the number [itex]0.\overline{9}[/itex] is greater than your chosen finite number (yet still less than 1)? Couldn't you just make the same statement with an epsilon-delta argument?

chroot

1 = 0.999...

Enough.

- Warren