Live data from Hacker News

Infinity is not a number

en.wikibooks.org

1–10 of 35 posts

Re: Infinity is not a number

#3
post #2

The article only shows it is not an ordinal number.

The article only shows it is not an ordinal number.

Because I'm a Wikipedian, I've learned that whenever I visit an article on Wikipedia, Wikibooks, etc. I can visit the article talk page too. Many of the usual misconceptions about infinity can be found in the talk page of that article. Another article showing that infinity is not a number

http://scienceblogs.com/goodmath/2008/10/infinity_is_not_a_n...

which has previously been submitted to HN

http://news.ycombinator.com/item?id=331581

evoked discussion that illustrated confusion about what a number is, as did a different HN submission

http://news.ycombinator.com/item?id=728026

of a very interesting article

http://nrich.maths.org/2756

by a young mathematician with some demonstrated chops in mathematics.

The last discussion of this issue on HN, which appears to have been from about two years ago, was interesting, so when I saw the article submitted here today (while looking up sources for the teaching I do), I thought I'd invite HN participants to discuss the issue again.

Two follow-up questions:

1) What do you mean by number?

2) Supposing the claim is that infinity is a number, how would that claim be verified by accepted principles of mathematics?

Re: Infinity is not a number

#5
post #2

The article only shows it is not an ordinal number.

The article only shows it is not an ordinal number. Because I'm a Wikipedian, I've learned that whenever I visit an article on Wikipedia, Wikibooks, etc. I can visit the article talk page too. Many of the usual misconceptions about infinity can be found in the talk page of that article. Another article showing that infinity is not a number http://scienceblogs.com/goodmath/2008/10/infinity_is_not_a_n... which has prev…

A while back we had a discussion about the halting problem, and someone had difficulty with the existence of the paradox in the canonical proof: http://news.ycombinator.com/item?id=1323407

The difficulty was, I think, in realizing that if we make a bunch of claims, and those claims lead to a paradox, the paradox exists, and that is not allowed. We can't "work around" the paradox, because paradoxes are not allowed to exist. Nor can we conveniently try to redefine some of our constructs such that they don't encounter the paradox if those constructs live in a reality with constructs that do encounter the paradox. I think it's a similar mental hurdle that some other people have with understanding that infinity is not a number.

Re: Infinity is not a number

#6
The problem is that "a number" is meaningless.

Is i (square root of -1) a number? Is x? Is 3/2? Depends on your perspective. You can define the integers, the rationals, the real numbers, the complex numbers, and plenty of more exotic systems. What about C[x], the ring of polynomials in one variable. Are these "numbers"? There is no a priori reason to say no. The integers mod 7? Quaternions? Etc. etc. etc. And, yes, you can define the "extended real number line" (cf. the Wikipedia article of that title) which includes infinity and satisfies a list of axioms which you can write down.

This article is dangerously misleading. "Numbers" is not a well-defined set and there is no way to say that infinity does or does not belong to it. As is often the case in mathematics, you need to make the discussion more precise before you can reasonably answer questions.

Re: Infinity is not a number

#7
It turns out that treating infinity like it is a number is very convenient (e.g. in convex optimization).

I think these black and white statements are not a good way to explain things. Just start with the set of real numbers. Point out infinity is outside the set. Then introduce the extended reals (R + infinity), with special rules for arithmetic involving +/-infinity. This theoretical convenience extends to the computer when the rules for Inf are implemented correctly. Follow the rules and you might sensibly get an Inf result, break them and you should get a NaN. It's all implemented in IEEE 754. In fact Inf is in your computer but not all the reals are. So there.

Re: Infinity is not a number

#8
post #2

The article only shows it is not an ordinal number.

The article only shows it is not an ordinal number. Because I'm a Wikipedian, I've learned that whenever I visit an article on Wikipedia, Wikibooks, etc. I can visit the article talk page too. Many of the usual misconceptions about infinity can be found in the talk page of that article. Another article showing that infinity is not a number http://scienceblogs.com/goodmath/2008/10/infinity_is_not_a_n... which has prev…

I'll discuss various aspects of the issue.

I think it is fair to say that a number should be an object of a ring. I'm an algebraist though. That is, there should be an addition operation and a multiplication operation that satisfy certain conditions.

1. Calculus. One sees in calculus things like

Lim x->5 f(x) = infinity

In this case infinity is not a number but rather a shorthand notation for a more complicated statement. What is meant by the use of the infinity symbol is that the limit is not bounded in the real number system. More specifically that given any large real number I can find a number d such that whenever |x - 5| M. Here the use of infinity is not meant to be as a number though making such an association is helpful to beginners in terms of visualizing what is going on.

2. There are ordinal numbers that are infinite. That is, that represent the order type of an infinite well ordered set. Ordinal numbers do not for a ring but they do have an arithmetic defined. They do form a semi-ring though. If one wants to say that objects of a semi-ring are numbers then there are infinite numbers. This also applies to cardinal numbers.

3. There is the extended real number system which has the symbols -infinity and positive infinity attached to the real number system to form a compact set. Think of the compact closure of the reals. Again not a ring though.

4. That said, there are infinite sets. An infinite set is one that is not finite. Or, in more precise terms, and infinite set is one that can be put into 1-1 correspondence with a proper subset of itself. Cardinal numbers and cardinal number arithmetic deal with comparing sizes of sets. Mostly useful for dealing with infinite sets. Some infinite sets are bigger, in a meaningful way, than other infinite sets. The set of reals is much bigger than the set of integers.

Re: Infinity is not a number

#9
The article deals with the infinity symbol as it is used in calculus courses. With such a usage in mind the infinity symbol is not a number and does not represent a number. The usage of the infinity symbol in calculus is merely a shorthand notation for a more complicated statement.

Suppose that we have

Lim x->5 f(x) = infinity

What is meant by the use of the infinity symbol is that the limit is not bounded in the real number system. More specifically that given any large real number I can find a number d such that whenever |x - 5| M.

Here the use of infinity is not meant to be as a number though making such an association is helpful to beginners in terms of visualizing what is going on. Students have trouble with the precise definition of being unbounded and so it's convenient to say "it's infinity" and treat the symbol as a number.

Re: Infinity is not a number

#10
post #2

The article only shows it is not an ordinal number.

The article only shows it is not an ordinal number. Because I'm a Wikipedian, I've learned that whenever I visit an article on Wikipedia, Wikibooks, etc. I can visit the article talk page too. Many of the usual misconceptions about infinity can be found in the talk page of that article. Another article showing that infinity is not a number http://scienceblogs.com/goodmath/2008/10/infinity_is_not_a_n... which has prev…

[deleted]
Post reply on HN