October 16th, 2014, 04:04 PM  #1 
Member Joined: Oct 2014 From: UK Posts: 62 Thanks: 2  Should infinity be removed from mathematics?
I studied mathematics at school and as part of my computing degree, but I never felt at ease with the concept of infinity. Recently I gave the matter more thought and I reached the conclusion that infinity is not a valid concept. Of all the areas of mathematics that I have encountered (schoollevel set theory, calculus, geometry, probability and so on) I could find no valid reason for using infinity. For me, its intangible nature creates mysticism where I would prefer precision and clarity. To address this, I wrote an article suggesting how we could start to remove infinity from these areas of mathematics (see: Background » Extreme Finitism). Infinity causes problems that do not exist without it. For example, if we accept the infinite set of all natural numbers actually exists {1, 2, 3, 4…}, what is the percentage of odd numbers in this set? The obvious answer of 50% is problematic because it implies an even number of elements whereas infinity is supposedly neither odd nor even. Another option is to say the cardinality of the set of all odd natural numbers is exactly the same as the cardinality of all natural numbers, which is far from a satisfactory answer. Without infinity we can simply say the percentage of odd numbers in the first n natural numbers is 100*floor[(n+1)/2)]/n where n>=1 (note that 'floor' means 'round down'). Without infinity we can say this is a complete solution for all natural numbers. Without infinity we no longer have any problems. There is a nice bulletpoint summary of the main problems with infinity (as a mathematical concept) at the end of this article: Infinity and infinite sets: the root of the problem » Extreme Finitism I am very interested to hear other people's ideas on how to remove infinity from mathematics, or possibly why it should not be removed at all. The more opinions I can get about this subject the better. Many thanks in advance. 
October 16th, 2014, 04:21 PM  #2 
Math Team Joined: May 2013 From: The Astral plane Posts: 2,156 Thanks: 877 Math Focus: Wibbly wobbly timeywimey stuff. 
How would you write the problem $\displaystyle \lim_{x \to \infty} \frac{x^2 + 2}{x^2 + 3x  7}$ without using infinity? Dan 
October 16th, 2014, 05:05 PM  #3  
Math Team Joined: Dec 2013 From: Colombia Posts: 7,655 Thanks: 2633 Math Focus: Mainly analysis and algebra  Quote:
Without the infinite, we can't adequately deal with the very, very small or the very, very, large. To discard the infinite leaves a hole in mathematics, and to me it's a hole where much of the most interesting stuff lies. Of course, it's interesting partly because it's a tricky concept, but that doesn't mean it should be thrown out. Discarding things because they seem too difficult or because they don't fit with your preconceived ideas is religion, not mathematics. That's not to say that one can't do valid and even interesting mathematics without admitting the infinite. Just that you have to be clear about what you are doing. Last edited by v8archie; October 16th, 2014 at 05:18 PM.  
October 16th, 2014, 05:57 PM  #4  
Global Moderator Joined: Nov 2006 From: UTC 5 Posts: 16,046 Thanks: 938 Math Focus: Number theory, computational mathematics, combinatorics, FOM, symbolic logic, TCS, algorithms  Quote:
Quote:
Quote:
Why? For some situations cardinality is useful, for others natural density, for others there are other measures (logarithmic density, uniform density, etc.). It's a rich and beautiful system you're throwing out here!  
October 16th, 2014, 08:06 PM  #5 
Senior Member Joined: Jul 2014 From: भारत Posts: 1,178 Thanks: 230  Do we need the concept of Infinity in Mathematics and Physics? One point of view : We don't! In the wellknown standard system ZFC ('Zermelo,Fraenkel,Choice') of set theory the 'axiom of infinity' is well known to be independent of the rest. So we don't introduce inconsistencies by leaving it out. What we obtain is known as the system of 'hereditarily finite sets' . It is also known as the most simple nontrivial example of a 'Grothendieck universe'. All programming languages which allow to create 'user defined types' (e.g. C++) allow to formalize the basic notions of physics and mathematics and do so obviously within the system of 'hereditarily finite sets (since, speaking C++, int and double are finite sets). Replacing type double by some 'multiple precision type' (like mp::real created by Pavel Holoborodko) one stays finite and neverthess can resolve all problems with 'numerical noise' in an experimental manner by increasing the number of bits which are used to represent reals. So any argument that can be based on computer generated diagrams or animations is formulated per se without making use of infinity and limits (i.e. infinite processes). Last edited by Prakhar; October 16th, 2014 at 08:10 PM. 
October 16th, 2014, 08:07 PM  #6 
Member Joined: Oct 2014 From: UK Posts: 62 Thanks: 2 
We find the limit as x increases. It does not 'tend to infinity' as this makes no sense. See the article on the Extreme Finitism website (the first link I mentioned) for my suggested notation and a full explanation.

October 16th, 2014, 08:23 PM  #7 
Member Joined: Oct 2014 From: UK Posts: 62 Thanks: 2 
Concepts like 'natural density', 'countably infinite' and 'transfinite numbers' are concepts that have been created to provide answers to problems that would not be there in the first place without the notion of a completed infinite set. As described on the Extreme Finitism site, the weight of evidence is that completed sets of endless sequences (such as the natural numbers) cannot exist. Without the existence of infinite objects, these other concepts have no meaning. 
October 16th, 2014, 08:55 PM  #8 
Global Moderator Joined: Oct 2008 From: London, Ontario, Canada  The Forest City Posts: 7,935 Thanks: 1129 Math Focus: Elementary mathematics and beyond 
Infinity, ad abstractum, exists.

October 16th, 2014, 08:58 PM  #9  
Math Team Joined: May 2013 From: The Astral plane Posts: 2,156 Thanks: 877 Math Focus: Wibbly wobbly timeywimey stuff.  Quote:
Dan  
October 16th, 2014, 09:10 PM  #10  
Member Joined: Oct 2014 From: UK Posts: 62 Thanks: 2  Quote:
The decimal expansion of an irrational number lacks precision, as the number can never be represented in its entirety. This is another example of where the notion of endless is often mistakenly taken to mean that a completed infinity can exist. As explained on my website, the concepts of endless and infinite are incompatible.  

Tags 
infinity, mathematics, removed 
Search tags for this page 
Click on a term to search for related topics.

Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Infinity  ryanninjasheep  Number Theory  11  September 30th, 2013 12:43 PM 
is 1/infinity = lim x>infinity 1/x  sivela  Calculus  1  June 25th, 2012 10:04 AM 
Infinity  deanmullen10  Calculus  6  July 4th, 2010 01:24 AM 
Solve X where infinity>x>infinity  DQ  Algebra  5  September 14th, 2009 05:13 AM 
Infinity...  nerd9  Number Theory  1  December 31st, 1969 04:00 PM 