I'm aware of such mathematical concepts as and potential infinity and actual infinity. But I do not understand how those concepts are being used. Are there any applications to such concepts? Are there different symbols used to denote potential infinity and actual infinity in order to avoid confusion? Maybe those types of infinities are rather philosophical concepts than mathematical? I would appreciate your thoughts on this matter.
I disagree with Hurkyl's answer, so I am making this an answer rather than a comment.
Peano's successor axiom says that for any integer $n$ we can construct its successor. This is a potential infinity, since we can get as large as we want (even to Graham's unimaginably large number). But we can never get all of the integers.
Extended to other parts of mathematics, we get constructive mathematics, where we can only talk about values we can explicitly construct (I am probably misrepresenting this, so please correct me as needed.).
In my opinion, there is a big (even infinite) difference between a potential infinity, where everything is explicitly constructable, and an actual infinity, where we consider all the items that can possibly be constructed.
As to which is true, let's take a vote!!!!
I take the bold opinion that there is no meaningful difference: the distinction between "potential infinity" and "actual infinity" is outdated and boil down to a matter of abstraction
The most common example of potential infinity given is the distinction between the notions
The former is described as a "process" -- a method that can produce more and more numbers of greater and greater size without bound, but at each point during the iteration, only finitely many numbers of finite size have been produced. The enumeration is always "incomplete": the infinite is merely potential.
This is distinguished from the latter which is one mathematical object that has all of the natural numbers in it. It is "complete".
But is this true? Is there somehow "more" to the latter than the former? No! In fact, quite the opposite is true.
It is a common theme in mathematics that when you have some notion, you can work with that notion by finding ways to encode enough properties of that object to pick it out and work with it.
For example, if we want to work with a natural number, we might specify it by writing a list of its decimal digits. Or we might write an arithmetic expression that computes it. Or we might write an equation to which it is the unique solution.
If I have the abstract notion of "rational numbers", I might determine that any rational number can be completely determined as the ratio of two integers. And so working with ratios of integers becomes one of my tools for working with the concept of rational number.
Now, if I have the notion of a collection of objects, how might I describe such a thing? The two most 'natural' ways to do so are:
So returning to the original example, if I have the notion of "the (complete) collection of all natural numbers" in mind, the rule:
is one of the most natural ways to specify this collection. In fact, the most standard way (Peano's axioms) to specify the collection of natural numbers is, at its heart, consists of nothing more than this process, and a formalization of the idea that every natural number arises from this process.
But not only does this process completely and unambiguously specify the entirety of the natural numbers, it also arranges them into a sequence, provides a recursive function that generates the sequence, and an algorithm for computing that function.
This additional information is above and beyond what the notion of the "(completed) collection of natural numbers" was trying to capture. Really, the difference between potential infinity and actual infinity, now, are seen to be the failure to take the notion of an "enumeration" and extract the abstract notion of "what is being enumerated".
When usual mathematics wants to talk about these additional ideas, it will use other objects, such as sequences, recursive definitions, or computable functions. We have much more precise means to talk about these ideas -- the notion of potential infinity is, IMO, an out-dated one.