A non-mathematician’s (programmer’s) question on infinity? I apologize for my total ignorance in the sphere of mathematics and the possibly very silly question I'm about to ask. My mathematical knowledge level is quite limited (pretty much finished with some slightly more advanced stuff then grade 12) so please if possible limit too much terminology to about that level of math. Again I don't mean to offend anyone & I'm sorry if the following sounds like a joke but I am genuinely interested and cannot quite grasp the reason for it.
I've been curious for quite sometime now, What is the significance for a mathematics to frequently require proof for both finite & infinite cases of theorems ? Why isn't it satisfactory to prove any theorem for a reasonably high finite x (whatever x is - be it set of some numbers) ? The reason why I'm asking is that in real-life applications (not talking about software application but life applications like count a bag of money or something like that) there is likely never need to deal with infinite of anything really - it might be a very high quantity but never infinite. So why does mathematics needs and requires proof for the infinite case as well, instead being satisfied proving only finite case ?
Thanks for any advise!!
 A: You write (I'm paraphrasing):
"Why does mathematics need and require proof for the infinite cases as well,
instead of just being satisfied by knowing it for sufficiently large finite numbers?"
I'm going to put this mostly in terms of number theory, since I think it'll be easiest to understand in that case.
 Often we generalize to the infinite because it's very convenient, and it's a natural abstraction to make.  Say that we want to check why some certain pattern in mathematics hold. Some patterns are just purely "coincidental", for example, that sometimes, we can have identities that holds only for a very small number of cases. 
Such patterns are often not that interesting, mostly because they don't carve out any real structure that's comprehensible to us. On the other hand, patterns that hold for all numbers sometimes tell us something deep about how ''numbers work''. For a very easy example, look at the fact that for every $n \in \mathbb{Z}$, $2n$ is even. This tells us a lot about how the integers that we love behave. If we'd say "Holds for all numbers less than..." it would probably not be as impressive.
On the other hand, we sometimes have conjectures that seem to be true by numerical evidence, but we don't know for sure. What if there's a counterexample for a number much much greater than anything we could imagine? An example of a conjecture that was proven wrong by numerical data was Pólya conjecture. Now, if it would have been true for all n, then it would have been injecting some structure into the integers, but since it isn't true, it's not so easy to say just what it does.
We could surely say the Riemann hypothesis is true up to some very large integer, but without a proof that it holds in the more general, infinite case, it's just a curious pattern.
There are often other branches that deal with the "infinite" in different ways, sometimes it's natural to introduce the "extended real numbers", which is just the real numbers, with $+\infty$ and $-\infty$. This gives a place for us to use conceptually more advanced tools on the usual real numbers, for example.
A: It is debatable whether any application of mathematics to real life (e.g. solving differential equations) actually implies that real life is described by the infinitary objects we use to model it (e.g. the real numbers).  However, it tends to be extremely convenient to use infinitary objects over finitary ones because when we pass to the infinite limit, error terms go away and the main term of various approximations becomes exact.  (For example, it is debatable whether derivatives "exist" in any meaningful sense.  However, it is much easier to work with derivatives than their finitary analogues.)  So using infinite objects is a good way to systematically ignore certain details in order to better focus on the relevant ones.  
A basic example is the central limit theorem.  Its statement and proof require infinitary objects, but what comes out of it is a finitary understanding of how a large number of i.i.d. random variables behave together, and we get the bell curve, which allows us to understand a lot of natural phenomena.
A: Let me point out a few reasons why, in my opinion, we are often interested in the infinite.


*

*Often, dealing with the infinite case is easier or, at least, leads to simpler and more understandable statements. Picking a well known and celebrated example, the prime number theorem (PNT) says that the number of primes less than a given number $x$ is approximately $x/\log x$. Consider what this is really saying. Writing $\pi(x)$ for the number of primes less than $x$, the PNT is saying that the ratio $\pi(x)/(x/\log x)$ tends to one as $x$ tends to infinity. This is written as
$$
\pi(x)\sim \frac{x}{\log x}\qquad\qquad{\rm(1)}
$$
where the '$\sim$' means that the ratio of the two sides tends to one as $x$ tends to infinity. Precisely, this means the following: if you pick any positive number $\epsilon$, no matter how small, then the ratio of the two sides of (1) will be within a distance $\epsilon$ of 1 when $x$ is large enough. We can express this by saying that there is a number $N_\epsilon$ (depending on your choice of $\epsilon$) such that $1-\epsilon < \pi(x)/(x/\log x) < 1+\epsilon$ for all numbers $x$ greater than $N_\epsilon$. You might ask, what does this say about the number of primes less than any given $x$. Say, the number of primes less than $2^{100}$? The answer is, absolutely nothing! Without specifying explicit bounds on the ratio $\pi(x)/(x/\log x)$ for a given number $x$, all we have is a statement about the infinite. Of course, bounds can be given, and you will need these to apply the PNT to some actual fixed value of $x$. This is besides the point though. The PNT as above is a simply stated and enlightening theorem. Much more so than just writing out some complicated but accurate expression for all values of $x$ up to some huge number. There will also be many such approximations of varying simplicity and accuracy, whereas the PNT is a single elegant statement which every mathematician knows.

*More than the raw statements of theorems, what often interests mathematicians is the insight that they provide. Saying that something holds for every natural number -- and proving it -- is much more interesting, and provides more insight into the properties of numbers than just saying that you have checked that it is true for the first billion numbers. People have known that the Riemann hypothesis is true for many zeros of the Zeta function for some time. I'm not sure what the latest count is, but at least 10 trillion zeros have been checked, and do indeed lie on the `critical line' in accordance with the hypothesis. If however, just one zero was found off the critical line, then that would go against many of the properties people expect of such functions, and go against many of the expected properties of the prime numbers. If the Riemann hypothesis was found to be wrong, a lot of other conjectures would be thrown into doubt too.

*When we prove mathematical theorems, they will usually be used to derive further results. This is often done in rather involved ways. Even if you prove a theorem up to 'reasonably high' values of $x$, someone will want to use that theorem as a stepping stone in proving further results. In that case, it will likely be needed for unspecified valued of $x$. Coupled with techniques such as induction, even huge values of $x$ could be important. As mathematical proofs are frequently built up out of a large number of small steps, it is imperative that each individual part is watertight. Otherwise, you could quickly end up with nonsense. So, it is important that results can be stated and proven for all cases within certain precisely specified parameters. Just checking a finite number of cases would be of limited use.
A: I personally think the main reason is to have to deal with the boundary. We cannot exactly fix the boundaries in every case. For your case it is simple when you are considering years but consider a case where you are calculating the time taken by the light to reach the other end of universe (just a real life example). You can't fix a limit in every case so you need a abstract value that works with every possible value. Hence infinity.
A: Suppose it is already known that if a property $P$ is possessed by all natural numbers, then some particular encryption procedure is very "hard" to break, in some sense. We test that $P$ holds for very large numbers, and find that it's true for all $n<10^{10}$.
So we design a company's security system using that encryption procedure. A week later, someone breaks into the company's system. What happened? Turned out the encryption procedure was "easy" to break.
Moral of the story: the difference between "holds for arbitrarily large numbers" and "holds for very large numbers" can be the difference between "very secure" and "complete insecure."
A: The question is: "So why does mathematics needs and requires proof for the infinite case as well, instead being satisfied proving only finite case ?"
The answer is because the collection of objects that mathematicians study is often infinite. When those collections are infinite, their results have to work for all objects in those collections.
Physical reality is not infinite at least within our universe.  Consider Olber's paradox to see why this is likely the case.  Consider Planck's solution to the black body problem requiring a discrete quantum.  Consider a big bang where the microwave background suggests only a finite amount of reality popped into existence.  
Mathematics provides physicists and other scientists with tools to assist them even though the collections they study are finite.  This use of mathematics is helpful, but it can also create a blind spot when it is forgotten that mathematics is only a modeling tool.  
For one example of this, consider time.  Is time really a continuous line that can be represented by infinitesimal instants suggested by a mathematical model using $t$ for time?  For a further discussion of how that question was argued in the 20th century, see Jimena Canales's "The Physicist and the Philosopher: Einstein, Bergson, and the Debate That Changed Our Understanding of Time".
