Proof that irrational numbers do not exist

Click For Summary
The discussion centers on the existence of irrational numbers, challenging the notion that all real numbers can be expressed in a decimal expansion format that leads to a rational conclusion. Participants argue about the countability of decimal places and the implications of limits in rational expressions, with some asserting that irrational numbers can be represented as limits of sequences of rational numbers. The conversation references Euclid's arguments and Cantor's diagonalization, emphasizing that the cardinality of real numbers exceeds that of rational numbers. Ultimately, the debate highlights misunderstandings about infinite sets and the nature of irrational numbers, asserting that irrational numbers do indeed exist and cannot be simplified to rational forms.
  • #31
epr2008 said:
Any number c in the real numbers has the form x.{c_1}{c_2}...{c_n}, in which x is an integer and 0 \le {c_n} \le 9 is a natural number. From the way that we have enumerated the decimal places, clearly number of decimal places is countable. Then there is a bijection from the indexes of the decimal places onto the set of the first n natural numbers. Consider the irrational numbers, namely \mathop {\lim }\limits_{n \to \infty } (x.{c_1}{c_2}...{c_n}). The infinity in the enumeration of decimal places must then be the same infinity as that of the natural numbers. Then, \mathop {\lim }\limits_{n \to \infty } [\frac{{{{10}^n}}}{{{{10}^n}}}(x.{c_1}{c_2}...{c_n})] = \frac{{\mathop {\lim }\limits_{n \to \infty } ({{10}^n} \times x.{c_1}{c_2}...{c_n})}}{{\mathop {\lim }\limits_{n \to \infty } {{10}^n}}} = {\lim }\limits_{n \to \infty } (x.{c_1}{c_2}...{c_n}). Is a rational expression in which the numerator and denominator are both integers.

If we consider Euclid's argument and acknowledge that the factor in the numerator is not unique in yielding an integer multiple then we can understand Euclid's flaw. The numerators and denominators will have infinite prime factorizations and therefore it would be impossible to simplify the fraction.


As an additional response to this already completely debunked, completely asinine post, I'll point out that it is absolutely no surprise that it is possible to express irrational numbers as an infinite sum, which is exactly what you have done.


As a side note, assuming that what you have written actually makes any sense, I would really like to know what you have allegedly proven about prime numbers
 
Physics news on Phys.org
  • #32
Goongyae said:
Not according to Euler. It's a fact that using it with |q| >= 1 is a tremendous aid to calculation, e.g. for computing values of the Riemann zeta function (pretty badly named, since of course it was Euler who discovered its reflection forumla). Quick example:
1/(1-x)=1+x+x^2+x^3+...
d/dx 1/(1-x) = 1/(1-x)^2 = 1+2x+3x^2+...
Now substitute -1 to obtain
1/4 = 1 - 2 + 3 - 4 + ... = (1 - 4) (1 + 2+ 3 + 4 +...)
-1/12 = 1 + 2 + 3 + 4 + ...

-1/12 is not the infinite sum 1 + 2 + 3 + ... The formula will simply not apply if x = -1. What you are doing is extending the domain of 1/(1-x)^2 to x = -1, but it will not correspond to the limit of 1+2x+3x^2+... anymore!
 
  • #33
epr2008 said:
Then we can number the place holders, i.e. tenths -->1, hundredths -->2 and so on which is clearly a countable set. Since it is countable then there must be a countable power of 10 to multiply it by and give an integer.

You are confusing two different things.
  1. For each decimal place, there exists a power of 10 to multiply it by to move it to the left of the decimal place.
  2. There exists a power of 10 to multiply a number by that moves all decimal places to the left of the decimal place
You make an argument that would prove the first point, but you are making the very different (and wrong!) claim that you've proven the second point.

Goongyae said:
So you're saying that irrational numbers aren't really irrational. They're just ratios between infinitely large integers. This makes some sense, and if this helps you think of them, go for it;
I'm doubt that it is helping him to think of them that way. He may find it appealing to think that way, but I'm pretty sure he isn't qualified to judge on his own that it is improving his understanding rather than taking away from it.


FYI, you do not always even need the quotients of infinitely large integers to produce irrational numbers. Sometimes a single integer will do.

Consider the infinitely large integer
...111111
e.g. this numeral doesn't name an integer, and it is strongly misleading to suggest that it does. This numeral can be used to name a "10-adic integer", but most "10-adic integers" are not integers.

p-adic numbers are quite useful; that's why we've defined them and even have whole fields of study devoted to them -- but it is not useful to pretend that p-adic integers are integers; that is a sure path to get all sorts of wrong ideas stuck in your head.


But I was able to calculate in a few lines that zeta(-1) = -1/12. Divergent series, when used carefully, can be extremely practical.
Yes -- but in doing so you are not computing what is commonly known as "the sum of an infinite series". In this case, you are probably referring to computing a "zeta regularized sum".
 
Last edited:
  • #34
So for clarification, my point was that saying there are real numbers that cannot be written in terms of integer ratios is in fact equivalent to the narrow-mindedness of Zeno's Paradox. It is not a simple ratio, but an infinite ratio. It is a limit problem not a finite one.
 
  • #35
I understand exactly what you are saying. But you haven't added anything new the mathematics. It is, in fact, well known that every rational number is the limit of a sequence of irrational numbers. This is pretty much what you have shown. It is not a surprise to anyone who has taken a semester of Real Analysis. The fact that there are reals that cannot be written in terms of integer ratios is, in fact, an important distinction if only because of the fact that they are countable whereas the entire real line isn't. There is nothing trivial about that. Putting this aside, I grant that what you are saying is, in some sense, correct (at least what you wrote in the OP is "correct", even if it is trivial). So, what is the result you have proven with respect to prime numbers?
 
  • #36
Robert1986 said:
I understand exactly what you are saying. But you haven't added anything new the mathematics. It is, in fact, well known that every rational number is the limit of a sequence of irrational numbers. This is pretty much what you have shown. It is not a surprise to anyone who has taken a semester of Real Analysis.


The fact that there are reals that cannot be written in terms of integer ratios is, in fact, an important distinction if only because of the fact that they are countable whereas the entire real line isn't. There is nothing trivial about that.


Putting this aside, I grant that what you are saying is, in some sense, correct (at least what you wrote in the OP is "correct", even if it is trivial). So, what is the result you have proven with respect to prime numbers?
I dare say that what the OP purports to prove is false because all rational numbers are either finite decimal numbers or infinite repeating decimals. That is only some infinite decimal representations, e.g. 12.66123123123..., where the ending part, i.e. 123, repeats forever are rational numbers while those infinite decimal numbers which do not have an repeating ending are irrational numbers.
 
  • #37
ramsey2879 said:
I dare say that what the OP purports to prove is false because all rational numbers are either finite decimal numbers or infinite repeating decimals. That is only some infinite decimal representations, e.g. 12.66123123123..., where the ending part, i.e. 123, repeats forever are rational numbers while those infinite decimal numbers which do not have an repeating ending are irrational numbers.

When I said that his OP was "correct" I only meant that he was correct in asserting that irrational numbers are the limits of sequences of rational numbers. But, as I said, that is not new to anyone who was taken a course in Real Analysis.


I am just interested in what he has allegedly proven about prime numbers.
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
907
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 13 ·
Replies
13
Views
9K
  • · Replies 2 ·
Replies
2
Views
4K
Replies
3
Views
2K