Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

If d is an infinitesimal value, I'm not sure what d * infinity would be. If d is defined as 1 / infinity, then it would equal 1, but that doesn't seem right.


This textbook teaches calculus using the infinitesimal approach. To do rigorous infinitesimal calculus, you have to define the hyperreal number system.

http://theassayer.org/cgi-bin/asbook.cgi?book=770


The tricky thing is that infinity isn't a number as we normally think of numbers. There are different kinds of infinity, so infinity / infinity does not necessarily equal 1. It could be any number between 1 and infinity, inclusive.

To get this intuition, think of the integers. There are obviously an infinite number of them. Now think of the rationals. There are now an infinite number of numbers between 1 and 2, so there are more rational numbers than there are integers; in fact infinitely more.


I believe set theory is the only area of mathematics where different orders of infinite actually mean anything.

So, in set theory, cardinality is a measure of the elements of a set. The cardinality of the infinite set of natural numbers is aleph-0. An infinite set has cardinality aleph-0 if it can be put in one to one correspondence with the naturals. http://en.wikipedia.org/wiki/Bijection This counterintuitively includes the rational numbers also. http://en.wikipedia.org/wiki/Cantor%27s_diagonal_argument

The real numbers can't be put into one-to-one correspondence with the rational numbers. So the infinite of the reals truly is bigger than the infinite of the rational numbers.

Also see this ppt: http://www.cs.cmu.edu/afs/cs.cmu.edu/academic/class/15251/di...


You don't think mathematics is unified, i.e. something true in one area may not be true in another? I don't think a lot of mathematicians believe this, and it isn't clear to me that "infinity" refers to two different things in the two different realms (the other possibility).




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: