Non integer square roots and pi = irrational?

In summary: Irrational numbers cannot be plotted on a number line because they do not have a rational representation. A number is irrational if its decimal representation cannot be found by successive approximation.
  • #1
Leonardo Sidis
60
0
Since one can construct the length of a non-integer square root by drawing accurate triangles, and can draw a circle with a circumference of pi, then shouldn't one be able to plot corresponding non-integer square roots and pi on a number line? I know these numbers are supposedly irrational, but if their length can be determined at a certain scale, then how can they be irrational and why can't they be plotted on a nuymber line?
 
Physics news on Phys.org
  • #2
What do you mean by non-integer square root (and "accurate triangles" for that matter? 1/4 is not an integer yet sqrt(1/4) is rational.

pi isn't "supposedly irrational," it is irrational, you can find a proof easily enough with google

I have no idea what you mean by "but if their length can be determined at a certain scale".

What does plotting a number on a number line have to do with being irrational? What do you even mean by "plotting a number on the number line"? Do you mean straightedge/compass type of construction? If so how do you hope to construct a line of length pi? (hint-you can't, pi is transcendental) Maybe you mean something else by "construct"?
 
  • #3
You can certainly plot irrational numbers on the number line. E.g. construct two orthogonal number lines. Mark off 1 unit on each from their intersection. The length of the diagonal is irrational but you can rotate the diagonal about one of its ends onto the same number line. You've just plotted [itex]\sqrt 2[/itex].

Of course, transcendental numbers pose a problem as schmoe pointed out. In principle, you can plot them by successive approximation using their decimal representations.
 
  • #4
Leonardo Sidis said:
Since one can construct the length of a non-integer square root by drawing accurate triangles, and can draw a circle with a circumference of pi, then shouldn't one be able to plot corresponding non-integer square roots and pi on a number line?

You can only construct some square roots this way, and they can be translated to the number line, I suppose, but how do you mathematically cut a circle and flatten it out?

I know these numbers are supposedly irrational, but if their length can be determined at a certain scale, then how can they be irrational and why can't they be plotted on a nuymber line?


What do you mean by "plotted", and what makes you think rationality or otherwise has anything to do with it?

Usually we mean something like: given a straight line and two marked points that we'll call 0 and 1 can you using a compass and straightedge (possibly fixed compass, possibly a ruler marked in the same units) to mark on certain other points of relative size.


In that sense you cannot even mark on many rational numbers.

I have no idea what determined at a certain scale even means.
 
  • #5
Leonardo Sidis said:
Since one can construct the length of a non-integer square root by drawing accurate triangles, and can draw a circle with a circumference of pi, then shouldn't one be able to plot corresponding non-integer square roots and pi on a number line? I know these numbers are supposedly irrational, but if their length can be determined at a certain scale, then how can they be irrational and why can't they be plotted on a nuymber line?
Any length can be plotted on a line. Lengths are not rational, irrational or transendental, numbers are. You also assume that just because a line can be plotted on graph paper that its length can be determined according to the scale of the graph paper. This is not true, only an approximation of the length can be determined at best, even using the highest possible magnification. But of course the length can be always determined to the nearest unit at the scale of the graph paper. Just as it can to the nearest unit of a ruler. Consider a rational number a/b. In theory, one could construct a number line of length ab, by first plotting the point 0 to the far left of a straight line and then by repeatedly plotting a new point one unit to the right of the rightmost point plotted thus far ab times by using a compass. Now let the scale of the graph paper be such that a units combined together is equal to one. In this way a point corresponding to a/b would have been exactly plotted on the number line. A irrational number is simply one that can't be plotted on a number line by this manner of construction because it can't be expressed as a fraction like a/b.
 
  • #6
ploting a given number legth on the real line is equivalent to finding a straight line with that length. so you can plot any hypotenuse of a ny triangle that way. e.g. sqrt(2).Numbers that can be plotted usig euclidean geometry are called constructible numbers, i.e. numbers that can be constructed from the original choicew of a unit length, using translation and circles. these constructions are described by quadratic equations, so only sqrt roots of square roots, etc can be s described.

e.g. most cube roots cannot.to be irtionalk is another matter.

so there is a hierarchy of more and more complicated lkengths: rational, constructible, algebraic, all reals including transcendental.

only the first two can be described by euclidean geometric constructions.

on the other hand, essentially any length, including pi can be approximated to within any desired accuracy by an infinite sequence of straight ine lengths. so given any desried degree of error, you could plot and construct a length that is within the desried error of pi, on the line.

a nice sourde for this material, is michael artin's book, algebra, or Theodore Shifrin's book, a geometric approach to algebra.
 
  • #7
The OP's question seems to be, are all irrationals comparable, so that irrational pi being taken as a unit, irrational square root 5 comes out as, I don't know what he wants, maybe a linear combination with integer coefficients.

And the answer of course is no, this doesn't happen. Irrationals are more complicated than that.

The nearest correct theory to this idea seems to be Galois theory, where you study field extensions by different radicals and get theorems about how they relate.
 
  • #8
shmoe said:
What do you mean by non-integer square root (and "accurate triangles" for that matter? 1/4 is not an integer yet sqrt(1/4) is rational.

pi isn't "supposedly irrational," it is irrational, you can find a proof easily enough with google

I have no idea what you mean by "but if their length can be determined at a certain scale".

What does plotting a number on a number line have to do with being irrational? What do you even mean by "plotting a number on the number line"? Do you mean straightedge/compass type of construction? If so how do you hope to construct a line of length pi? (hint-you can't, pi is transcendental) Maybe you mean something else by "construct"?

Thank you, everyone, for your help. Sorry I was unclear when posting my question, I will clarify what I meant. A non-integer square root is a number that is not an integer that when multiplied by itself equals an integer. All non-integer square roots of integers are irrational.

My question was this: I was taught in school that one cannot plot the exact length of an irrational number on a number line becuse it continues on forever. This is makes sense, but in theory, isn't it possible to draw the exact length of an irrational number by drawing the two legs of a right triangle, for example 2 inches each, and then connecting the ends of the two legs with a hypotenuse of the square root of 8 (an irrational number)?
 
  • #9
Leonardo Sidis said:
My question was this: I was taught in school that one cannot plot the exact length of an irrational number on a number line becuse it continues on forever. This is makes sense,


does it? what does 'plot' mean? what is the number line (i'm serious, what is it apart from some nice hand wavy picture for kids)? what has the decimal expansion got to do with it? is 1/3 plottable?



but in theory, isn't it possible to draw the exact length of an irrational number by drawing the two legs of a right triangle, for example 2 inches each, and then connecting the ends of the two legs with a hypotenuse of the square root of 8 (an irrational number)?

i have several issues with this, starting with the notion of constructing anything in the real world that is some perfect example of a purely theoretical mathematical construct.

everything in maths is true or false under certain hypthoses. starting from a ruler with the units 1,2,3 etc marked on your teacher was working under the hypthosis that it was possible only to mark onto a ruler rational division points, apparently because you're makring on their decimal expansion. there is no reason to suppose that one can even do this, or that this is a good assumption, but what she said was certainly true under that assumption. it also means one cannot plot 1/3, 1/7 or fractions of 1/p for any prime other than 2 or 5.

what you're doing is extending the allowable constructions to include geometric ones, eg by allowing constructions with a compass as well. this means you can plot on the square root of 2, and in general appeal to galois theory tells us all the constructible numbers in this sense. it is still by no means all numbers (does it allow even 1/3 to be plotted you should ask yourself). in any case under your new assumptions the old ones about decimal expansions are dropped, though presumably you're allowing yourself to plot all of the old rationals like 1/5 though that is no longer necessarily true.
 
  • #10
Leonardo Sidis said:
Thank you, everyone, for your help. Sorry I was unclear when posting my question, I will clarify what I meant. A non-integer square root is a number that is not an integer that when multiplied by itself equals an integer. All non-integer square roots of integers are irrational.
My question was this: I was taught in school that one cannot plot the exact length of an irrational number on a number line becuse it continues on forever. This is makes sense, but in theory, isn't it possible to draw the exact length of an irrational number by drawing the two legs of a right triangle, for example 2 inches each, and then connecting the ends of the two legs with a hypotenuse of the square root of 8 (an irrational number)?
I suspect that you were not taught that but that is your hazy recollection of what you were taught (unless you had the misfortune to have had a school teacher who was teaching his/her hazy recollection!). It is true that if you try to write out an irrational number in decimal form, you can't do it but that has nothing to do with "plotting a length". Every real number corresponds to an exact point on the number line (that is, basically, the definition of "number line".). If by plot, you mean a Euclidean compass-straightedge construction, it can be shown that only those numbers that are "algebraic of order a power of two" (a number is "algebraic of order n" if it can be found as the root of a polynomial equation with integer coefficients of degree n but no such equation of lower degree) can be "constructed" in that way: that includes [itex]\sqrt{2}[/itex] (which is algebraic of order 2: it satisifies x2- 2= 0) but not [itex]^3\sqrt{2}[/itex] (which is algebraic of order 3: it satisfies x3-2= 0 but no equation of lower degree with integer coefficients), or [itex]\pi[/itex] which is not algebraic of any order- it is "transcendental".
 
Last edited by a moderator:
  • #11
HallsofIvy said:
I suspect that you were not taught that but that is your hazy recollection of what you were taught (unless you had the misfortune to have had a school teacher who was teaching his/her hazy recollection!). It is true that if you try to write out an irrational number in decimal form, you can't do it but that has nothing to do with "plotting a length". Every real number corresponds to an exact point on the number line (that is, basically, the definition of "number line".). If by plot, you mean a Euclidean compass-straightedge construction, it can be shown that only those numbers that are "algebraic of order a power of two" (a number is "algebraic of order n" if it can be found as the root of a polynomial equation with integer coefficients of degree n but no such equation of lower degree) can be "constructed" in that way: that includes [itex]\sqrt{2}[/itex] (which is algebraic of order 2: it satisifies x2- 2= 0) but not [itex]^3\sqrt{2}[/itex] (which is algebraic of order 3: it satisfies x3-2= 0 but no equation of lower degree with integer coefficients), or [itex]\pi[/itex] which is not algebraic of any order- it is "transcendental".

I wouldn't be surprised if some teachers teach their own "theories" to kids.
 
  • #12
matt grime said:
what you're doing is extending the allowable constructions to include geometric ones, eg by allowing constructions with a compass as well. this means you can plot on the square root of 2, and in general appeal to galois theory tells us all the constructible numbers in this sense. it is still by no means all numbers (does it allow even 1/3 to be plotted you should ask yourself). in any case under your new assumptions the old ones about decimal expansions are dropped, though presumably you're allowing yourself to plot all of the old rationals like 1/5 though that is no longer necessarily true.
Well since you can construct similar triangles and parallel lines with a straight edge and a compass, I think it is possible in theory to plot rational parts of any unit length and multiples thereof. For instance to plot 2/3 on unit graph paper you would draw a line with a straight edge through points <3,0> and <0,1> and construct a parallel line that passes through point <2,0>. The point that this parallel line intersects the axis between points <0,0> and <0,1> corresponds to 2/3.
 
Last edited:
  • #13
Given lengths a and b, using a compass and straightedge, you can construct lengths a+b (also a-b), a*b, and a/b, so starting with a unit length you can certainly construct any rational multiple you like. The issue was what exactly the OP means by "construct" or "plot".
 
Last edited:
  • #14
HallsofIvy said:
It is true that if you try to write out an irrational number in decimal form, you can't do it but that has nothing to do with "plotting a length". Every real number corresponds to an exact point on the number line (that is, basically, the definition of "number line".)./QUOTE]

How can there be an exact point that corresponds to a number that never terminates or repeats? There cannot be. That is my reason for starting this thread. Since you cannot find the exact point on a number line of an irrational number, then how can you draw the length of one? If you were to draw a triangle like the one I said above (legs with a length of 2 and hypotenuse with a length of the square root of 8) on a sheet of graph paper, you have just drawn a line with an irrational length. This is what I don't understand.
 
  • #15
How can there be an exact point that corresponds to a number that never terminates or repeats? There cannot be.
Why?

Your argument seems to be: "I cannot imagine how this could be true. So, it must be false" -- that's a tremendously egotistic view, don't you think? :smile:


P.S. while words like "terminates" or "repeats" are specific terminology about decimal numbers. They cannot be applied to numbers in general.
 
  • #16
How can there be an exact point that corresponds to a number that never terminates or repeats? There cannot be.
You are declaring that by fiat? Once you have set up your coordinate system there exist a unique point corresponding to every real number and a unique real number for each point. That's because the real number system is "complete". The fact that the line is a connected set (with the usual metric) follows from the Least Upper Bound Property.
 
  • #17
Hurkyl said:
Why?
Your argument seems to be: "I cannot imagine how this could be true. So, it must be false" -- that's a tremendously egotistic view, don't you think? :smile:
P.S. while words like "terminates" or "repeats" are specific terminology about decimal numbers. They cannot be applied to numbers in general.

By using common sense, anyone can see it is false. I express my views strongly, and for me to say "I think this, but it's probably wrong, and you probably know better" is weak. I have confidence in what I think to be true, and in an arguement, it is best not to act unsure of yourself.

P.S. You accusing me of being egotistical does not answer the question. Are you implying I am stupid because I cannot imagine something that you think other people can (nobody can fathom infinity).

P.P.S. I am applying them to decimal numbers. What do you mean they can't be applied to numbers in general?

P.P.P.S. Can you imagine it to be true?
 
  • #18
HallsofIvy said:
You are declaring that by fiat? Once you have set up your coordinate system there exist a unique point corresponding to every real number and a unique real number for each point. That's because the real number system is "complete". The fact that the line is a connected set (with the usual metric) follows from the Least Upper Bound Property.

I realize that you are probably much more knowledgeable about this than me and probably have received much more schooling than I have, but if you disregard about all the classes you've taken, books you've read, and all the theorems and whatnot, and think for yourself, then you will come to the same conclusion as me. Maybe the definition of a number line is a line that has exact corresponding points for all the real numbers. But just because that's what the internet says, or what some book says written by some guy with a PhD from CIT or whatever, doesn't mean it's true. I also realize that just because I say one thing doesn't mean it's true either. I am just encouraging you to use your own ability to think and reason, which is more important than what anybody else says. If you do this and still believe that there is an exact point on the number line for a number that continues ad infinitum, then I would question your sanity. I tried to be polite before this, but now this is angering me. :grumpy:
 
  • #19
Leonardo Sidis said:
I realize that you are probably much more knowledgeable about this than me and probably have received much more schooling than I have, but if you disregard about all the classes you've taken, books you've read, and all the theorems and whatnot, and think for yourself, then you will come to the same conclusion as me. Maybe the definition of a number line is a line that has exact corresponding points for all the real numbers. But just because that's what the internet says, or what some book says written by some guy with a PhD from CIT or whatever, doesn't mean it's true. I also realize that just because I say one thing doesn't mean it's true either. I am just encouraging you to use your own ability to think and reason, which is more important than what anybody else says. If you do this and still believe that there is an exact point on the number line for a number that continues ad infinitum, then I would question your sanity. I tried to be polite before this, but now this is angering me. :grumpy:

You should come to the same conclusions as a mathematician.

Mathematics is very rigorous and there is "no" way around it.
 
  • #20
Leonardo Sidis said:
HallsofIvy said:
It is true that if you try to write out an irrational number in decimal form, you can't do it but that has nothing to do with "plotting a length". Every real number corresponds to an exact point on the number line (that is, basically, the definition of "number line".)./QUOTE]
How can there be an exact point that corresponds to a number that never terminates or repeats? There cannot be. That is my reason for starting this thread. Since you cannot find the exact point on a number line of an irrational number, then how can you draw the length of one? If you were to draw a triangle like the one I said above (legs with a length of 2 and hypotenuse with a length of the square root of 8) on a sheet of graph paper, you have just drawn a line with an irrational length. This is what I don't understand.
Sidis: Both irrational and rational numbers correspond to real lengths of a number line. Thats why both rational and irrational numbers are deemed real numbers. What seems to confuse you is that it is possible to choose any length as a unit length. For instance inches versus centimeters. There is no reason why one length can't be chosen as a unit length as opposed to another. In the right isosceles triangle either the hypotenuse or the side of the triangle could be chosen to be the unit length. Both choices are valid and both correspond to real points on a numberline. Whether a given point on a numberline corresponds to a irrational or rational number has nothing to do with whether the point is real or not. As I noted either the hypotenuse or the side of the isosceles triangle could be chosen as the unit length. Thus whether a point on the line is "rational" or "irrational" has nothing to do with its reality but merely with what length was chosen as the unit length. An "irrational" length would be any length such that there is no integer number of times that the length could be marked of on a number line starting from the origin such that the last point marked off would correspond to the same point that would be marked off if a unit length were successively marked off. But a point that corresponds to a rational number under one system of measurement can correspond to an irrational number under another system of measurement. In either case it would be the same point on the real number line. The same point is no more or less unreal merely because a particular length is chosen as the unit length. Does this clarify things?
 
  • #21
You must temper your confidence with reason. You are so caught up in trying to avoid any show of weakness that you are, no offense intended, making a fool of yourself.

You have, so far, demonstrated many of the characteristics of people we call crackpots.
(1) You are extremely insistent on your correctness.
(2) You base your position on "common sense" -- and the assumption that everybody else's common sense must agree with yours, and those who disagree with you are simply refusing to listen to their common sense.
(3) You base your position on your inability to imagine the alternative -- and the assumption that everybody else must also be unable to imagine the alternatives.


The typical crackpot also tends to ignore any evidence that they may be incorrect -- you've one-upped them, though: you've acknowledged evidence you may be incorrect (you know full well how to construct a line segment of irrational length), and have come to the realization that there's a problem... yet you still maintain your position with absolute confidence.


I hadn't noticed these tendancies in your earlier posts -- I suppose you're just responding to a perceived attack on your person?


Leonardo Sidis said:
Are you implying I am stupid because I cannot imagine something that you think other people can (nobody can fathom infinity).
Of course I'm not saying you're stupid: everybody has their own capabilities.

However, I am explicitly saying that you're being blinded by your egotism. You refuse to accept that everybody does have their own capabilities, and that someone else might be able to do something you cannot at the moment, such as being able to "fathom" infinity.

In my estimation, based on watching many people assert this point, the main reason many people have trouble "fathoming" infinity is simply because they're convinced that it's "unfathomable" -- I could tell them about all sorts of things like cardinality, the extended reals, and non-archmedian fields. I could tell them about how using the adjective "infinite" is usually more appropriate than the noun "infinity", and so on. However, these people will invariably respond (roughly) that I cannot possibly be speaking about infinity, simply because I understand what I'm talking about.


Leonardo Sidis said:
I am just encouraging you to use your own ability to think and reason, which is more important than what anybody else says. ... If you do this and still believe that there is an exact point on the number line for a number that continues ad infinitum, then I would question your sanity.
This is another example of the same problem. You hold this belief that your ability to think and reason is absolutely perfect -- anyone who disagrees with your conclusions must be mistaken or insane or something.


Leonardo Sidis said:
P.P.S. I am applying them to decimal numbers. What do you mean they can't be applied to numbers in general?
You were responding to this quote of HoI:
It is true that if you try to write out an irrational number in decimal form, you can't do it but that has nothing to do with "plotting a length". Every real number corresponds to an exact point on the number line (that is, basically, the definition of "number line".).

Where he makes a point of separating the notions of the "decimal form" and a "real number".

One of the hangups some people have, yourself included it seems, is separating these two notions. In their mind, a decimal number is the "only way" to write a real number. When they see other ways of denoting a real number, such as:

[itex]\sqrt{8}[/itex] is the unique number x such that x² = 8 and x > 0

or

[itex]\sqrt{8}[/itex] is the length of the hypotenuse of a (Euclidean) right triangle whose sides have length two

they think "These denotations are simply different ways of saying 2.828...".


Another hangup people have, again yourself included it seems, is that the notation 2.828... "really means" that you're supposed to start with 2, and then you continue on to 2.8, and then to 2.82, and then to 2.828, and so forth. And since this algorithm never finishes, they think that the decimal notation cannot represent an actual number. Since they believe that this is the only way you're ever allowed to actually handle a real number, they have problems.

Incidentally, they aren't too far from the mark -- but they refuse to budge at all, and thus never see the light. :frown: In the rigorous sense, a decimal number is simply a function that allows you to compute something called the "n-th digit", whatever that means. When I write something like:

0.454545...

this is shorthand for "the n-th digit of this number is 4 if n is negative and odd, 5 if n is negative and even, and 0 otherwise". (The places are numbered ...(3)(2)(1)(0).(-1)(-2)(-3)...)

This is something we can manipulate in its entirety -- we're not doomed to forever add digits one at a time, never getting anywhere. I can, for instance, add it to 0.545454... and prove (in finite time!) that the result is equal to 0.999999..., which is known to equal 1.


Leonardo Sidis said:
P.S. You accusing me of being egotistical does not answer the question.
I was hoping it would make you aware that you are projecting yourself onto others -- that maybe you would come to realize on your own that not everybody will agree on what you maintain is "common sense".

Another characteristic of logical debates is burden of proof. When we say to you that there does exist a point on the number line for every real number, you are (generally) justified in asking us to prove our assertion, and it would be unfair for us to ask you to either accept it or prove us wrong.

Conversely, when you tell us that there cannot exist a point for each irrational number, we are justified in asking you to prove your assertion, and it is unfair for you to ask us to accept it or disprove you.

To state it more succinctly:

When someone makes an assertion, the burden is on that person to justify their assertion. There is no burden on everybody else to disprove that person.


Maybe the definition of a number line is a line that has exact corresponding points for all the real numbers. But just because that's what the internet says, or what some book says written by some guy with a PhD from CIT or whatever, doesn't mean it's true.
You're wrong.

If some whacko on the internet defines "the number line" to consist of all barnyard animals and nothing else, then in that context, "the number line" really does mean the collection of all barnyard animals and nothing else.

However, all mathematicians have essentially agreed on the default meaning of "number line". Furthermore, it is exactly this "number line" that is taught in schools.

So, when no alternative is specified, the term "number line" refers precisely to what is written in that book from the PhD from CIT.



And finally

Leonardo Sidis said:
I express my views strongly, and for me to say "I think this, but it's probably wrong, and you probably know better" is weak.
If you want to make this about strength, instead of mathematics, then I'll win: I wield the bigger stick. :wink:
 
Last edited:
  • #22
Hurkyl said:
You must temper your confidence with reason. You are so caught up in trying to avoid any show of weakness that you are, no offense intended, making a fool of yourself.
You have, so far, demonstrated many of the characteristics of people we call crackpots.
(1) You are extremely insistent on your correctness.
(2) You base your position on "common sense" -- and the assumption that everybody else's common sense must agree with yours, and those who disagree with you are simply refusing to listen to their common sense.
(3) You base your position on your inability to imagine the alternative -- and the assumption that everybody else must also be unable to imagine the alternatives.
The typical crackpot also tends to ignore any evidence that they may be incorrect -- you've one-upped them, though: you've acknowledged evidence you may be incorrect (you know full well how to construct a line segment of irrational length), and have come to the realization that there's a problem... yet you still maintain your position with absolute confidence.
I hadn't noticed these tendancies in your earlier posts -- I suppose you're just responding to a perceived attack on your person?
Of course I'm not saying you're stupid: everybody has their own capabilities.
However, I am explicitly saying that you're being blinded by your egotism. You refuse to accept that everybody does have their own capabilities, and that someone else might be able to do something you cannot at the moment, such as being able to "fathom" infinity.
I don't think you are implying that Leonardo doesn't have the capacity to fathom reality. He seems quite intelligent and it is easy to see how some very deep mathematical concepts can be confusing to very capable individuals. I believe that math is a very concrete science, but it at best only provides only a rough blue print of the real world. Atoms have definite size. Points on a number line have no size. I think Leonardo is confusing reality with mathematics and is upset that he isn't getting his point across. A little more understanding on both sides is appropriate.
 
  • #23
this forum is certainly almost infinitely indulgent of crackpots. i do not know if that is a good or bad thing, but it gets tiresome.
 
  • #24
Hurkyl said:
You must temper your confidence with reason. You are so caught up in trying to avoid any show of weakness that you are, no offense intended, making a fool of yourself.
You have, so far, demonstrated many of the characteristics of people we call crackpots.
(1) You are extremely insistent on your correctness.
(2) You base your position on "common sense" -- and the assumption that everybody else's common sense must agree with yours, and those who disagree with you are simply refusing to listen to their common sense.
(3) You base your position on your inability to imagine the alternative -- and the assumption that everybody else must also be unable to imagine the alternatives.
The typical crackpot also tends to ignore any evidence that they may be incorrect -- you've one-upped them, though: you've acknowledged evidence you may be incorrect (you know full well how to construct a line segment of irrational length), and have come to the realization that there's a problem... yet you still maintain your position with absolute confidence.
I hadn't noticed these tendancies in your earlier posts -- I suppose you're just responding to a perceived attack on your person?
Of course I'm not saying you're stupid: everybody has their own capabilities.
However, I am explicitly saying that you're being blinded by your egotism. You refuse to accept that everybody does have their own capabilities, and that someone else might be able to do something you cannot at the moment, such as being able to "fathom" infinity.
In my estimation, based on watching many people assert this point, the main reason many people have trouble "fathoming" infinity is simply because they're convinced that it's "unfathomable" -- I could tell them about all sorts of things like cardinality, the extended reals, and non-archmedian fields. I could tell them about how using the adjective "infinite" is usually more appropriate than the noun "infinity", and so on. However, these people will invariably respond (roughly) that I cannot possibly be speaking about infinity, simply because I understand what I'm talking about.
This is another example of the same problem. You hold this belief that your ability to think and reason is absolutely perfect -- anyone who disagrees with your conclusions must be mistaken or insane or something.
You were responding to this quote of HoI:
It is true that if you try to write out an irrational number in decimal form, you can't do it but that has nothing to do with "plotting a length". Every real number corresponds to an exact point on the number line (that is, basically, the definition of "number line".).
Where he makes a point of separating the notions of the "decimal form" and a "real number".
One of the hangups some people have, yourself included it seems, is separating these two notions. In their mind, a decimal number is the "only way" to write a real number. When they see other ways of denoting a real number, such as:
[itex]\sqrt{8}[/itex] is the unique number x such that x² = 8 and x > 0
or
[itex]\sqrt{8}[/itex] is the length of the hypotenuse of a (Euclidean) right triangle whose sides have length two
they think "These denotations are simply different ways of saying 2.828...".
Another hangup people have, again yourself included it seems, is that the notation 2.828... "really means" that you're supposed to start with 2, and then you continue on to 2.8, and then to 2.82, and then to 2.828, and so forth. And since this algorithm never finishes, they think that the decimal notation cannot represent an actual number. Since they believe that this is the only way you're ever allowed to actually handle a real number, they have problems.
Incidentally, they aren't too far from the mark -- but they refuse to budge at all, and thus never see the light. :frown: In the rigorous sense, a decimal number is simply a function that allows you to compute something called the "n-th digit", whatever that means. When I write something like:
0.454545...
this is shorthand for "the n-th digit of this number is 4 if n is negative and odd, 5 if n is negative and even, and 0 otherwise". (The places are numbered ...(3)(2)(1)(0).(-1)(-2)(-3)...)
This is something we can manipulate in its entirety -- we're not doomed to forever add digits one at a time, never getting anywhere. I can, for instance, add it to 0.545454... and prove (in finite time!) that the result is equal to 0.999999..., which is known to equal 1.
I was hoping it would make you aware that you are projecting yourself onto others -- that maybe you would come to realize on your own that not everybody will agree on what you maintain is "common sense".
Another characteristic of logical debates is burden of proof. When we say to you that there does exist a point on the number line for every real number, you are (generally) justified in asking us to prove our assertion, and it would be unfair for us to ask you to either accept it or prove us wrong.
Conversely, when you tell us that there cannot exist a point for each irrational number, we are justified in asking you to prove your assertion, and it is unfair for you to ask us to accept it or disprove you.
To state it more succinctly:
When someone makes an assertion, the burden is on that person to justify their assertion. There is no burden on everybody else to disprove that person.
You're wrong.
If some whacko on the internet defines "the number line" to consist of all barnyard animals and nothing else, then in that context, "the number line" really does mean the collection of all barnyard animals and nothing else.
However, all mathematicians have essentially agreed on the default meaning of "number line". Furthermore, it is exactly this "number line" that is taught in schools.
So, when no alternative is specified, the term "number line" refers precisely to what is written in that book from the PhD from CIT.
And finally
If you want to make this about strength, instead of mathematics, then I'll win: I wield the bigger stick. :wink:

First of all, I would like to thank Ramsey for being so generous and reasonable.

Secondly, I would like to make a few replies to Hurkyl regarding his assault.

As a 14 year-old, I do not take any drugs or smoke or drink, but you seem to know an awful lot about how crackpots think! :wink: I am curious as to how you became so knowledgeable about such a relevant topic.

You said that I've acknowledged evidence that I may be incorrect because I know full well how to construct a line with an irrational length. Yes, I was using this point to ask my question, for my question was about how that and the "impossibility" of finding the exact point on number line of an irrational number seem to contradict each other.

Yes, the reason I was angry last night was partly because a "perceived attack on my person" and that it seemed I might not be getting my point across very clearly. I will try to explain it again, but differently so that maybe it will make more sense.

I am going to forget about the number line in this explanation, only because it seems to cause confusion and arguments over the technicalities of its properties and draws the attention away from the purpose of this thread.

I hope we can all agree that one can draw a hypotenuse of irrational length. I say this disregarding human error and/or the width of the line, etc. Pretend it is exact, in theory. My confusion is about how this can be done when the decimal representation of the length of the line never terminates or repeats.

Hurkyl: I am sorry for offending you if I did and I forgive you for offending me. In the future, instead of throwing insults back and forth at each other, arguing over who is stronger than who, and calling others "crackpots", let's act like mature, civilized, individuals, and have an intelligent discussion. :smile:
 
  • #25
Hurkyl said:
You must temper your confidence with reason. You are so caught up in trying to avoid any show of weakness that you are, no offense intended, making a fool of yourself.
You have, so far, demonstrated many of the characteristics of people we call crackpots.
(1) You are extremely insistent on your correctness.
(2) You base your position on "common sense" -- and the assumption that everybody else's common sense must agree with yours, and those who disagree with you are simply refusing to listen to their common sense.
(3) You base your position on your inability to imagine the alternative -- and the assumption that everybody else must also be unable to imagine the alternatives.
The typical crackpot also tends to ignore any evidence that they may be incorrect -- you've one-upped them, though: you've acknowledged evidence you may be incorrect (you know full well how to construct a line segment of irrational length), and have come to the realization that there's a problem... yet you still maintain your position with absolute confidence.
I hadn't noticed these tendancies in your earlier posts -- I suppose you're just responding to a perceived attack on your person?
Of course I'm not saying you're stupid: everybody has their own capabilities.
However, I am explicitly saying that you're being blinded by your egotism. You refuse to accept that everybody does have their own capabilities, and that someone else might be able to do something you cannot at the moment, such as being able to "fathom" infinity.
In my estimation, based on watching many people assert this point, the main reason many people have trouble "fathoming" infinity is simply because they're convinced that it's "unfathomable" -- I could tell them about all sorts of things like cardinality, the extended reals, and non-archmedian fields. I could tell them about how using the adjective "infinite" is usually more appropriate than the noun "infinity", and so on. However, these people will invariably respond (roughly) that I cannot possibly be speaking about infinity, simply because I understand what I'm talking about.
This is another example of the same problem. You hold this belief that your ability to think and reason is absolutely perfect -- anyone who disagrees with your conclusions must be mistaken or insane or something.
You were responding to this quote of HoI:
It is true that if you try to write out an irrational number in decimal form, you can't do it but that has nothing to do with "plotting a length". Every real number corresponds to an exact point on the number line (that is, basically, the definition of "number line".).
Where he makes a point of separating the notions of the "decimal form" and a "real number".
One of the hangups some people have, yourself included it seems, is separating these two notions. In their mind, a decimal number is the "only way" to write a real number. When they see other ways of denoting a real number, such as:
[itex]\sqrt{8}[/itex] is the unique number x such that x² = 8 and x > 0
or
[itex]\sqrt{8}[/itex] is the length of the hypotenuse of a (Euclidean) right triangle whose sides have length two
they think "These denotations are simply different ways of saying 2.828...".
Another hangup people have, again yourself included it seems, is that the notation 2.828... "really means" that you're supposed to start with 2, and then you continue on to 2.8, and then to 2.82, and then to 2.828, and so forth. And since this algorithm never finishes, they think that the decimal notation cannot represent an actual number. Since they believe that this is the only way you're ever allowed to actually handle a real number, they have problems.
Incidentally, they aren't too far from the mark -- but they refuse to budge at all, and thus never see the light. :frown: In the rigorous sense, a decimal number is simply a function that allows you to compute something called the "n-th digit", whatever that means. When I write something like:
0.454545...
this is shorthand for "the n-th digit of this number is 4 if n is negative and odd, 5 if n is negative and even, and 0 otherwise". (The places are numbered ...(3)(2)(1)(0).(-1)(-2)(-3)...)
This is something we can manipulate in its entirety -- we're not doomed to forever add digits one at a time, never getting anywhere. I can, for instance, add it to 0.545454... and prove (in finite time!) that the result is equal to 0.999999..., which is known to equal 1.
I was hoping it would make you aware that you are projecting yourself onto others -- that maybe you would come to realize on your own that not everybody will agree on what you maintain is "common sense".
Another characteristic of logical debates is burden of proof. When we say to you that there does exist a point on the number line for every real number, you are (generally) justified in asking us to prove our assertion, and it would be unfair for us to ask you to either accept it or prove us wrong.
Conversely, when you tell us that there cannot exist a point for each irrational number, we are justified in asking you to prove your assertion, and it is unfair for you to ask us to accept it or disprove you.
To state it more succinctly:
When someone makes an assertion, the burden is on that person to justify their assertion. There is no burden on everybody else to disprove that person.
You're wrong.
If some whacko on the internet defines "the number line" to consist of all barnyard animals and nothing else, then in that context, "the number line" really does mean the collection of all barnyard animals and nothing else.
However, all mathematicians have essentially agreed on the default meaning of "number line". Furthermore, it is exactly this "number line" that is taught in schools.
So, when no alternative is specified, the term "number line" refers precisely to what is written in that book from the PhD from CIT.
And finally
If you want to make this about strength, instead of mathematics, then I'll win: I wield the bigger stick. :wink:
First of all, I would like to thank Ramsey for being so generous and reasonable.
Secondly, I would like to make a few replies to Hurkyl regarding his assault.
As a 14 year-old, I do not take any drugs or smoke or drink, but you seem to know an awful lot about how crackpots think! :wink: I am curious as to how you became so knowledgeable about such a relevant topic.
You said that I've acknowledged evidence that I may be incorrect because I know full well how to construct a line with an irrational length. Yes, I was using this point to ask my question, for my question was about how that and the "impossibility" of finding the exact point on number line of an irrational number seem to contradict each other.
Yes, the reason I was angry last night was partly because a "perceived attack on my person" and that it seemed I might not be getting my point across very clearly. I will try to explain it again, but differently so that maybe it will make more sense.
I am going to forget about the number line in this explanation, only because it seems to cause confusion and arguments over the technicalities of its properties and draws the attention away from the purpose of this thread.
I hope we can all agree that one can draw a hypotenuse of irrational length. I say this disregarding human error and/or the width of the line, etc. Pretend it is exact, in theory. My confusion is about how this can be done when the decimal representation of the length of the line never terminates or repeats.
Hurkyl: I am sorry for offending you if I did and I forgive you for offending me. In the future, instead of throwing insults back and forth at each other, arguing over who is stronger than who, and calling others "crackpots", let's act like mature, civilized, individuals, and have an intelligent discussion. :smile:
 
  • #26
Leonardo Sidis said:
First of all, I would like to thank Ramsey for being so generous and reasonable.
Secondly, I would like to make a few replies to Hurkyl regarding his assault.
As a 14 year-old, I do not take any drugs or smoke or drink, but you seem to know an awful lot about how crackpots think! :wink: I am curious as to how you became so knowledgeable about such a relevant topic.
You said that I've acknowledged evidence that I may be incorrect because I know full well how to construct a line with an irrational length. Yes, I was using this point to ask my question, for my question was about how that and the "impossibility" of finding the exact point on number line of an irrational number seem to contradict each other.
Yes, the reason I was angry last night was partly because a "perceived attack on my person" and that it seemed I might not be getting my point across very clearly. I will try to explain it again, but differently so that maybe it will make more sense.
I am going to forget about the number line in this explanation, only because it seems to cause confusion and arguments over the technicalities of its properties and draws the attention away from the purpose of this thread.
I hope we can all agree that one can draw a hypotenuse of irrational length. I say this disregarding human error and/or the width of the line, etc. Pretend it is exact, in theory. My confusion is about how this can be done when the decimal representation of the length of the line never terminates or repeats.
Hurkyl: I am sorry for offending you if I did and I forgive you for offending me. In the future, instead of throwing insults back and forth at each other, arguing over who is stronger than who, and calling others "crackpots", let's act like mature, civilized, individuals, and have an intelligent discussion. :smile:

You obviously don't know what a crackpot is.

There is nothing "bad" about it. It all depends on the degree.

Everyone has been a crackpot in their day, or so I assume. Those who move on and understand their mistakes are those who go much further.
 
  • #27
Leonardo Sidis said:
First of all, I would like to thank Ramsey for being so generous and reasonable.
I hope we can all agree that one can draw a hypotenuse of irrational length. I say this disregarding human error and/or the width of the line, etc. Pretend it is exact, in theory. My confusion is about how this can be done when the decimal representation of the length of the line never terminates or repeats.
Just as I tried to explain, a decimal representation of a length is merely something that is based upon the ratio of that length to an arbitary fixed or standard length . For some standards, say an inch, a length could end up as an rational value, but if another standard length were used, the same length could end up being an irrational length. Scientists usually use a standard that can be readily obtained and be used in the lab to generate a fixed length such as the wavelength of a light that is transmitted when a certain gas is excited to give off light. Less complex standards are then made, akin to a ruler etc., then spread to the general public. Whether a length can be plotted does not depend upon whether the decimal representation is limited or repeats. The only requirement for a value to be deemed fixed is that no matter how close or far from the exact value, that is is always possible to more precisely calculate its value which fact is always true for a never ending decimal representation, whether it repeats or not. Although the length is mathematically exact, one would never be expected to express an irrational length of a line exactly for that would be physically impossible since it would be beyond the scope of even the most accurate devices.
 
Last edited:
  • #28
I wasn't at the point of calling you a crackpot (which, at least in intellectual contexts, has nothing to do with drugs :tongue2:) -- I was trying to point out some of the behaviors associated with crackpotism so you can avoid them! (Yes, I'm aware it sounds an awful lot like calling you a crackpot, but I felt it important to say, and it's difficult to say it without sounding as such)



Buried in my post somewhere, I talk about the fact it's a misperception that infinite non-repeating decimals are somehow not "exact".

Take your example as evidence of this!


I always wonder what leads people to this perception. I imagine it's because you cannot physically write down an infinite sequence of digits.

It would be wrong to think that just because we cannot write down all of its digits, that a decimal number is not "exact". In other words, the decimal number is "exact" -- and it's just that we are incapable of writing it exactly as a physical sequence of digits.

And another important point is that there are other ways of writing decimal numbers, which are able to express more of them exactly. For example, as geometric constructions, or via notation such as [itex]\sqrt{8}[/itex].


And finally, decimal numbers aren't really important. :tongue: The real numbers are the essential concept here -- the decimal numbers are simply a way of writing real numbers.
 
Last edited:
  • #29
i have been posting here for a couple of years now, and I have noticed that Hurkyl is one of the smartest, most well informed, and simultaneously most patient and gentle people I have ever "met".

He suffers fools very patiently, and if someone has provoked him to give them a lecture, they would really be very well advised to contemplate the lessons contained therein.


To be brief, if even patient, kind, wise Hurkyl thinks you resemble in any way a crackpot, I recommend looking for a some glue to mend your pot.
 
  • #30
Leornado, you believe that somehow the geometric construction of a length is related to its decimal expansion. Why do you think that? Instead of repeating it actually justify it, and saying 'oh, it's common sense' is not justifying it. Obviously this contradiction in what you want to be true and what you know to be true troubles you, but we can't help you on that one.
 
  • #31
Leonardo Sidis said:
By using common sense, anyone can see it is false. I express my views strongly, and for me to say "I think this, but it's probably wrong, and you probably know better" is weak. I have confidence in what I think to be true, and in an arguement, it is best not to act unsure of yourself.
P.S. You accusing me of being egotistical does not answer the question. Are you implying I am stupid because I cannot imagine something that you think other people can (nobody can fathom infinity).
P.P.S. I am applying them to decimal numbers. What do you mean they can't be applied to numbers in general?
P.P.P.S. Can you imagine it to be true?
Hey Leonardo, your youth and weakness showed strongly in this post. People who succeed in life know that only a fool never asks a stupid question. You came to this site with a question and this was good. there are a lot of knowedgeable people here who can answer your questions. But you have a weakness that is interfering with obtaining an answer to your question. You think that to be strong you must not admit your weakness (especially if you know that you have the answer already). That is a dumb approach to take in getting to an understanding on anything that needs an understanding. To convince another person of his error, you must first reach an understanding of the other persons logic. The path to success in life is first to understand then to be understood. A humble person is most likely to succeed in life because he is most likely to get an understanding of anothers logic. It might even happen that by understanding anothers logic, your own opinion will change. This is even a better conclusion than you initially had in mind and you are even stronger in view of it. However, once you get to know the other persons logic, then you can have a reasonable chance of convincing those around you of your own opinion. That is why the humble person succeeds in life and the one who must always appear strong does not.
 
  • #32
Leonardo Sidis said:
By using common sense, anyone can see it is false.
You should understand that "common sense" just means "based on my experience". If you do not have a great deal of experience with mathematics, "common sense" can lead you astray.
 
  • #33
Hurkyl said:
I wasn't at the point of calling you a crackpot (which, at least in intellectual contexts, has nothing to do with drugs :tongue2:) -- I was trying to point out some of the behaviors associated with crackpotism so you can avoid them! (Yes, I'm aware it sounds an awful lot like calling you a crackpot, but I felt it important to say, and it's difficult to say it without sounding as such)
Buried in my post somewhere, I talk about the fact it's a misperception that infinite non-repeating decimals are somehow not "exact".
Take your example as evidence of this!
I always wonder what leads people to this perception. I imagine it's because you cannot physically write down an infinite sequence of digits.
It would be wrong to think that just because we cannot write down all of its digits, that a decimal number is not "exact". In other words, the decimal number is "exact" -- and it's just that we are incapable of writing it exactly as a physical sequence of digits.
And another important point is that there are other ways of writing decimal numbers, which are able to express more of them exactly. For example, as geometric constructions, or via notation such as [itex]\sqrt{8}[/itex].
And finally, decimal numbers aren't really important. :tongue: The real numbers are the essential concept here -- the decimal numbers are simply a way of writing real numbers.
Hurky thanks for your help and for the clarification. I am retired now and never had (or never took) the chance to study mathematics. Although that was my best subject in high school, I wasn't allowed to take an advance math class because my grade average was too low. I know you from your previous posts and I didn't really believe that you could be attacking Leonard as a person, but that you were trying to point out to him that his approach that he took in a previous post was poor judgement. Your point that irrational numbers are exact is well taken. I remember a conversation that I was having with an attorney where it was important to express an area of a circle in very exact terms. He asked me why I was expressing [tex]\pi[/tex] by using a six decimal point number and I explained that exactness was necessary. He replied that I could use a more exact term like "22/7". I ended up by using the symbol [tex]\pi[/tex] instead.
 
Last edited:
  • #34
Seriously guys and girls, ramsey is right. Arguing and pointing fingers gets us all nowhere fast.

Since one can construct the length of a non-integer square root by drawing accurate triangles, and can draw a circle with a circumference of pi, then shouldn't one be able to plot corresponding non-integer square roots and pi on a number line? I know these numbers are supposedly irrational, but if their length can be determined at a certain scale, then how can they be irrational and why can't they be plotted on a nuymber line?

I would have to say you can plot an irrational number on a numberline as long as you only have a maximum of one point of designation. ex. Draw a line, put pi on it (just the symbol), then put another number on the line (resist the urge, just 1!). Now, once you put a second number on the line, you have a point of reference from which to measure. That is the point in which i believe that you can no longer plot an irrational number.

I'm sure the admins would agree that all views are welcome as long as they are kept clean, and "meany" free.
 
  • #35
I'm sure the admins would agree that all views are welcome as long as they are kept clean, and "meany" free.
No, actually. This is a mathematics forum, and we do our best to keep it that way.

Math is a very precise subject; well-posed questions have right answers. Part of my job here is to make sure that we keep on the right path. As others have noted, I'm probably far too indulgent and prefer to try and explain why the right answer is right, instead of simply saying it is and quickly shutting down people who insist otherwise.

And the right answer is: there exist points on a Euclidean line separated by an irrational distance, which is what we've determined the OP meant by "plot". Even if you meant something else, such as "can I construct a line segment of irrational length with a compass and straightedge?", the answer is still yes.
 

Similar threads

Replies
31
Views
2K
Replies
12
Views
2K
Replies
6
Views
1K
  • Linear and Abstract Algebra
Replies
8
Views
1K
Replies
13
Views
3K
  • Precalculus Mathematics Homework Help
Replies
21
Views
767
Replies
1
Views
1K
Replies
4
Views
900
  • Linear and Abstract Algebra
Replies
6
Views
2K
  • Linear and Abstract Algebra
Replies
25
Views
7K
Back
Top