Changes

'''Infinity''' means beyond enumeration.<ref>This improved definition comports best with the use of the term in mathematics, in everyday life, and across cultures and languages.</ref>  Appreciation of infinity -- particularly infinite time -- is remarkably useful mentally, emotionally, and on a personal level.  "Paradise" is infinite happiness; "[[Hell]]" is infinite distress; in electronics, a "open circuit" has infinite resistance.<ref>Anxiety or fear about infinity is a psychiatric condition known as "apeirophobia", which exists because infinity is real.</ref> '''''Recognition of infinite time can overcome almost any anxiety'''''. Financial-related stress can be reduced by recognizing money as being infinite.  A human being has infinite potential.

'''Infinity''' means beyond enumeration.<ref>This improved definition comports best with the use of the term in mathematics, in everyday life, and across cultures and languages.</ref>  Appreciation of infinity -- particularly infinite time -- is remarkably useful mentally, emotionally, and personally.  "Paradise" is infinite happiness; "[[Hell]]" is infinite distress; in electronics, an "open circuit" has infinite resistance.<ref>Anxiety or fear about infinity is a psychiatric condition known as "apeirophobia", which exists because infinity is real.</ref> '''''Recognition of infinite time can overcome almost any anxiety'''''. Financial-related stress can be reduced by recognizing money as being infinite.  A human being has infinite potential.

The existence of infinity tends to prove the existence of [[God]].  Nature and universe reflect mathematical truths, and denying the existence of God implicitly denies the existence of infinity, contrary to logic, evidence, and the enormous usefulness of the concept.

The existence of infinity tends to prove the existence of [[God]].  Nature and the universe reflect mathematical truths, and denying the existence of God implicitly denies the existence of infinity, contrary to logic, evidence, and the enormous usefulness of the concept.

The food supply is essentially infinite in cultures where obesity is a problem; wealth is essentially infinite for those who cannot spend it all in their lifetime; and time is infinite for those who waste it.  "More" in those situations is meaningless; less is nothing to have anxiety about.  Some scoff at primitive cultures that use infinity rather than large numbers, but that is actually productive in viewing quantities larger than meaningful.  Also, infinity reinforces the primacy of the future (which is infinite) over the past (merely finite).  Given that "time is money," "infinite time" ([[eternal life]]) is "infinite money" and the concept is helpful in dealing with financial anxiety.

The food supply is essentially infinite in cultures where obesity is a problem; wealth is essentially infinite for those who cannot spend it all in their lifetime; and time is infinite for those who waste it.  "More" in those situations is meaningless; less is nothing to have anxiety about.  Some scoff at primitive cultures that use infinity rather than large numbers, but that is productive in viewing quantities larger than meaningful.  Also, infinity reinforces the primacy of the future (which is infinite) over the past (merely finite).  Given that "time is money," "infinite time" ([[eternal life]]) is "infinite money" and the concept helps deal with financial anxiety.

[[File:Abbey Church Saint Louis.jpg|right|200px|thumb|church's infinite accessibility and outreach]]

[[File:Abbey Church Saint Louis.jpg|right|200px|thumb|church's infinite accessibility and outreach]]

Understanding infinity has advanced many fields, including:

Understanding infinity has advanced many fields, including:

*[[architecture]], as in the [[Abbey Church]] in [[St. Louis]] that embraces infinite accessibility and outreach;

*[[architecture]], as in the [[Abbey Church]] in [[St. Louis]] that embraces infinite accessibility and outreach;

*[[mathematics]] through [[calculus]], [[set theory]] and [[singularity|singularities]];  

*[[mathematics]] through [[calculus]], [[set theory]] and [[singularity|singularities]];  

*[[abortion]] through realization that the unborn child has infinite potential;

*[[abortion]] through the realization that the unborn child has infinite potential;

*[[quantum mechanics]] through infinite [[uncertainty]];  

*[[quantum mechanics]] through infinite [[uncertainty]];  

*[[economics]] through the infinite opportunity discovered by the [[Coase theorem]];  

*[[economics]] through the infinite opportunity discovered by the [[Coase theorem]];  

*as to dignity, "Infinite Dignity" is the title of a [[Vatican]] document condemning transgender procedures as published on April 8, 2024;<ref>https://press.vatican.va/content/salastampa/en/bollettino/pubblico/2024/04/08/240408c.html</ref>

*as to dignity, "Infinite Dignity" is the title of a [[Vatican]] document condemning transgender procedures as published on April 8, 2024;<ref>https://press.vatican.va/content/salastampa/en/bollettino/pubblico/2024/04/08/240408c.html</ref>

*in [[infinity in engineering|engineering]]: in a DC circuit, a capacitor has infinite resistance, while [[Earth]] has infinite capacitance;  

*in [[infinity in engineering|engineering]]: in a DC circuit, a capacitor has infinite resistance, while [[Earth]] has infinite capacitance;  

*in an [[eclipse]], the refraction of light around the [[Moon]] results in the equivalent of infinite light intensity (which can damage a naked eye); and

*in an [[eclipse]], the refraction of light around the [[Moon]] results in the equivalent of infinite light intensity (which can damage the naked eye); and

*in carpentry and [[materials science]]: wood of infinite density is needed to build a spiral staircase with multiple twists and no supporting column, which can hold a dozen people at once - see [[Loretto spiral staircase]].

*in carpentry and [[materials science]]: wood of infinite density is needed to build a spiral staircase with multiple twists and no supporting column, which can hold a dozen people at once - see [[Loretto spiral staircase]].

In addition, recognition of infinity — such as infinite time or infinite strength — is helpful on a personal level in dealing with adversity.  Infinite time means infinite money, since time is convertible into money.  [[Jesus]] often emphasized the concept of infinity in his [[miracle]]s and [[parable]]s (see below).  He rejected the mistaken view of the ancient Greeks that infinity is non-existent and incoherent.<ref>{{cquote|The Ancient Greeks generally conceived of the infinite as formless, characterless, indefinite, indeterminate, chaotic, and unintelligible. The term had negative connotations and was especially vague, having no clear criteria for distinguishing the finite from the infinite.}} [http://www.iep.utm.edu/infinite/]

In addition, recognition of infinity — such as infinite time or infinite strength — is helpful on a personal level in dealing with adversity.  Infinite time means infinite money because time is convertible into money.  [[Jesus]] often emphasized the concept of infinity in his [[miracle]]s and [[parable]]s (see below).  He rejected the mistaken view of the ancient Greeks that infinity is non-existent and incoherent.<ref>{{cquote|The Ancient Greeks generally conceived of the infinite as formless, characterless, indefinite, indeterminate, chaotic, and unintelligible. The term had negative connotations and was especially vague, having no clear criteria for distinguishing the finite from the infinite.}} [http://www.iep.utm.edu/infinite/]

The ancient Greeks were flat-out wrong.</ref>  Today acceptance of infinity is universal, despite the adamant denial by the ancient Greeks and others throughout history.  The devoutly [[Christian]] mathematician [[Georg Cantor]] even proved that some infinities are larger than others.

The ancient Greeks were flat-out wrong.</ref>  Today acceptance of infinity is universal, despite the adamant denial by the ancient Greeks and others throughout history.  The devoutly [[Christian]] mathematician [[Georg Cantor]] even proved that some infinities are larger than others.

The existence of an infinite [[God]] implies the necessary existence of the opposite: the void described in [[Genesis]].  Negative infinity, as implied by the existence of positive infinity, is the numeric equivalent of the [[Hell]] mentioned frequently in the [[New Testament]].  The [[logic of infinity]] permeates the [[Gospels]].

The existence of an infinite [[God]] implies the necessary existence of the opposite: the void described in [[Genesis]].  Negative infinity, as implied by the existence of positive infinity, is the numeric equivalent of the [[Hell]] mentioned frequently in the [[New Testament]].  The [[logic of infinity]] permeates the [[Gospels]].

== Teachings about infinity by Jesus ==

== Teachings about infinity by Jesus ==

Infinity is depicted by several miracles, including the [[Multiplication of the loaves]] and the [[Miraculous catch of fish]].  Infinity is implicit in several parables, including the [[Prodigal Son]], and the parable of the vineyard workers.<ref>Matthew 20:1-16.</ref>  In addition, one's soul is of infinite value to him and thus cannot be exceeded in value by anything else, as explained by Matthew 16:26.

Infinity is depicted by several miracles, including the [[Multiplication of the loaves]] and the [[Miraculous catch of fish]].  Infinity is implicit in several parables, including the [[Prodigal Son]], and the parable of the vineyard workers.<ref>Matthew 20:1-16.</ref>  In addition, one's soul is of infinite value to him and thus cannot be exceeded in value by anything else, as explained by Matthew 16:26.

Infinity is also portrayed by the Parables of the Hidden Treasure and the Pearl:<ref>Matthew 13:44-46 [[NIV]] version.</ref>

Infinity is also portrayed in the Parables of the Hidden Treasure and the Pearl:<ref>Matthew 13:44-46 [[NIV]] version.</ref>

:“The kingdom of heaven is like treasure hidden in a field. When a man found it, he hid it again, and then in his joy went and sold all he had and bought that field.

:“The kingdom of heaven is like treasure hidden in a field. When a man found it, he hid it again, and then in his joy went and sold all he had and bought that field.

:“Again, the kingdom of heaven is like a merchant looking for fine pearls. When he found one of great value, he went away and sold everything he had and bought it.”

:“Again, the kingdom of heaven is like a merchant looking for fine pearls. When he found one of great value, he went away and sold everything he had and bought it.”

== Mistranslated as "unsearchable" ==

== Mistranslated as "unsearchable" ==

Many translations of the [[Bible]] mistakenly use the term "unsearchable" when "infinite" is the intended meaning. Ancient Greek lacked a word for "infinity", and instead used "apeiron" for indefinite or unlimited.<ref>Some say that obscure Greek term "aphorismenon" was closer to the modern term of infinity.</ref>

Many translations of the [[Bible]] mistakenly use the term "unsearchable" when "infinite" is the intended meaning. Ancient Greek lacked a word for "infinity", and instead used "apeiron" for indefinite or unlimited.<ref>Some say that the obscure Greek term "aphorismenon" was closer to the modern term of infinity.</ref>

For example, the otherwise superb [[New American Standard Bible]] mistranslates with "unsearchable" rather than "infinite" in six places:

For example, the otherwise superb [[New American Standard Bible]] mistranslates with "unsearchable" rather than "infinite" in six places:

== Quotations ==

== Quotations ==

Renowned 20th century mathematician and physicist Hermann Weyl began a conference in 1930 with a speech that declared:

Renowned 20th-century mathematician and physicist Hermann Weyl began a conference in 1930 with a speech that declared:

{{cquote|Mathematics is the science of the infinite.}}

{{cquote|Mathematics is the science of the infinite.}}

== Similarities to zero ==

== Similarities to zero ==

Infinity has surprising similarities to [[zero]].  Neither can be diminished, and the multiplication or division of either cannot change it.  While infinity and zero are opposites, neither is stronger or superior to the other: multiplication of infinity by zero yields an indeterminate result.  As a pair they illustrate the logical truth that "the last shall be first, and the first shall be last" as taught by Jesus at the end of the parable of the vineyard workers, a parable that illustrates that infinity cannot be diminished.

Infinity has surprising similarities to [[zero]].  Neither can be diminished, and the multiplication or division of either cannot change it.  While infinity and zero are opposites, neither is stronger or superior to the other: multiplication of infinity by zero yields an indeterminate result.  As a pair, they illustrate the logical truth that "the last shall be first, and the first shall be last" as taught by Jesus at the end of the parable of the vineyard workers, a parable that illustrates that infinity cannot be diminished.

[[Leonhard Euler]], the most prolific mathematician in history, famously said about infinity and zero:<ref>https://www.brainyquote.com/quotes/leonhard_euler_184025</ref>

[[Leonhard Euler]], the most prolific mathematician in history, famously said about infinity and zero:<ref>https://www.brainyquote.com/quotes/leonhard_euler_184025</ref>

== Infinity and sports ==

== Infinity and sports ==

In [[baseball]], a pitcher has an infinite Earned Run Average (ERA) when he allows earned runs without obtaining any "outs" by the other side, because the ERA is a pitcher's average earned runs allowed per nine innings pitched (i.e., 27 outs obtained).  In 2019, Nationals relief pitcher Trevor Rosenthal had an infinite ERA until he finally obtained an out.<ref>https://www.freep.com/story/sports/mlb/2019/04/11/trevor-rosenthal-nationals-reliever-infinity/3433399002/</ref>

In [[baseball]], a pitcher has an infinite Earned Run Average (ERA) when he allows earned runs without obtaining any "outs" by the opposing team, because the ERA is a pitcher's average earned runs allowed per nine innings pitched (i.e., 27 outs obtained).  In 2019, Nationals relief pitcher Trevor Rosenthal had an infinite ERA until he finally obtained an out.<ref>https://www.freep.com/story/sports/mlb/2019/04/11/trevor-rosenthal-nationals-reliever-infinity/3433399002/</ref>

Baseball has a potentially infinite duration, with no time limits.  For this and other reasons the game has been described as timeless.

Baseball has a potentially infinite duration, with no time limits.  For this and other reasons, the game has been described as timeless.

== Ongoing disputes about infinity ==

== Ongoing disputes about infinity ==

The simplest place to see this seeming paradox is in the fact that all integers are finite, but that there are an infinite number of them.

The simplest place to see this seeming paradox is in the fact that all integers are finite, but that there are an infinite number of them.

*Why are all integers finite?  Because, if infinity were an integer, what would <math>\infty+1\,</math> be?

*Why are all integers finite?  Because, if infinity were an integer, what would <math>\infty+1\,</math> be?

*Why is the ''set'' of all integers an infinite set?  Because they go on forever. If the set were finite, there would be a biggest integer. But that can't be, because we can always add one to any integer. This kind of thinking is often schoolchildren's first introduction to logical reasoning.<ref>Merrian-Webster defines infinity as an "unlimited extent of time, space, or quantity ... an indefinitely great number or amount." [https://www.merriam-webster.com/dictionary/infinity Merriam-Webster dictionary]  Put another way, infinity is something which "goes on without end."</ref>

*Why is the ''set'' of all integers an infinite set?  Because they go on forever. If the set were finite, there would be a largest integer. But that can't be, because we can always add one to any integer. This kind of thinking is often schoolchildren's first introduction to logical reasoning.<ref>[[Merriam-Webster]] defines infinity as an "unlimited extent of time, space, or quantity ... an indefinitely great number or amount." [https://www.merriam-webster.com/dictionary/infinity Merriam-Webster dictionary]  Put another way, infinity is something which "goes on without end."</ref>

While infinity is not a number, it appears in many other contexts.  As we have seen, the size of the set of integers is infinite. We say that the [[cardinality]] of the integers (this set is often denoted <math>\mathbb{Z}</math>) is infinite.  The rational numbers (<math>\mathbb{Q}</math>) and the real numbers (<math>\mathbb{R}</math>) also have infinite cardinality.  An interesting result from set theory (see below) is that <math>\mathbb{Z}</math> and <math>\mathbb{Q}</math> have the same cardinality, while <math>\mathbb{R}</math> has larger cardinality than the other two.

While infinity is not a number, it appears in many other contexts.  As we have seen, the size of the set of integers is infinite. We say that the [[cardinality]] of the integers (this set is often denoted <math>\mathbb{Z}</math>) is infinite.  The rational numbers (<math>\mathbb{Q}</math>) and the real numbers (<math>\mathbb{R}</math>) also have infinite cardinality.  An interesting result from set theory (see below) is that <math>\mathbb{Z}</math> and <math>\mathbb{Q}</math> have the same cardinality, while <math>\mathbb{R}</math> has larger cardinality than the other two.

The cardinality of the natural numbers is known as aleph-null. There are as many integers as natural numbers; and as many rational numbers as natural numbers. But it can be shown, using Cantor's diagonalization argument, that the reals are strictly larger than the natural numbers - you cannot put the natural numbers into one to one correspondence with the reals. The cardinality of the reals is the cardinality of the power set of the natural numbers, which is known as the power of the continuum (c) or as beth-one. (Aleph-null is the same as beth-null; whether aleph-one is the same as beth-one is a mathematical question, which essentially has no answer - and we can even show it has no answer.)

The cardinality of the natural numbers is known as aleph-null. There are as many integers as natural numbers; and as many rational numbers as natural numbers. But it can be shown, using Cantor's diagonalization argument, that the reals are strictly larger than the natural numbers - you cannot put the natural numbers into one to one correspondence with the reals. The cardinality of the reals is the cardinality of the power set of the natural numbers, which is known as the power of the continuum (c) or as beth-one. (Aleph-null is the same as beth-null; whether aleph-one is the same as beth-one is a mathematical question, which essentially has no answer - and we can even show it has no answer.)

The '''generalized continuum hypothesis''' (GCH) states that <math>\beth_{a} = \aleph_{a}</math> for all ordinals <math>a</math>. So, the continuum hypothesis is a special case of the generalised continuum hypothesis for ordinal <math>0</math>. Like CH, GCH is independent of the axioms of ZFC.

The '''generalized continuum hypothesis''' (GCH) states that <math>\beth_{a} = \aleph_{a}</math> for all ordinals <math>a</math>. So, the continuum hypothesis is a special case of the generalized continuum hypothesis for ordinal <math>0</math>. Like CH, GCH is independent of the axioms of ZFC.

A set having cardinality equal to or less than <math>\aleph_{0}</math> is called countable; a set of greater cardinality is called uncountable.

A set having cardinality equal to or less than <math>\aleph_{0}</math> is called countable; a set of greater cardinality is called uncountable.

Other than transfinite cardinals and ordinals, there are other types of infinite numbers:

Other than transfinite cardinals and ordinals, there are other types of infinite numbers:

*the '''affinely extended reals''': these are elements of the set <math>\mathbb{R} \cup \{ +\infty, -\infty \}</math>. In other words, the real numbers extended by the addition of positive and negative infinity. <math>+\infty</math> is greater than every real number, and <math>-\infty</math> is less than every real number.

*the '''affinely extended reals''': these are elements of the set <math>\mathbb{R} \cup \{ +\infty, -\infty \}</math>. In other words, the real numbers extended by the addition of positive and negative infinity. <math>+\infty</math> is greater than every real number, and <math>-\infty</math> is less than every real number.

*the '''projectively extended reals''': these are elements of the set <math>\mathbb{R} \cup \{ \infty \}</math>. In other words, the real numbers extended by the addition of a single signless infinity. The ordering relation is not defined for the projectively extended reals - but informally, <math>\infty</math> can be said to be both greater than ''and'' less than every real number.

*the '''projectively extended reals''': these are elements of the set <math>\mathbb{R} \cup \{ \infty \}</math>. In other words, the real numbers are extended by the addition of a single signless infinity. The ordering relation is not defined for the projectively extended reals - but informally, <math>\infty</math> can be said to be both greater than ''and'' less than every real number.

*the '''hyperreals''': denoted ^*<math>\mathbb{R}</math>, these extend the real numbers with both infinite and infinitesimal quantities. They are used in non-standard analysis. Other extensions of the real numbers with infinite and infinitesimal quantities include the '''surreal numbers''', the '''superreal numbers''', and the '''Levi-Civita field'''.

*the '''hyperreals''': denoted ^*<math>\mathbb{R}</math>, these extend the real numbers with both infinite and infinitesimal quantities. They are used in non-standard analysis. Other extensions of the real numbers with infinite and infinitesimal quantities include the '''surreal numbers''', the '''superreal numbers''', and the '''Levi-Civita field'''.

The conclusion to be drawn from all of this, is that although in popular usage we speak about ''infinity'' as if it were a single thing, there are actually numerous different infinities, all belonging to different systems. If we want to talk about ''infinity'', we ought to be careful to specify which infinity we mean.

The conclusion to be drawn is that although in popular usage we speak about ''infinity'' as if it were a single thing, there are actually numerous different infinities, all belonging to different systems. If we want to talk about ''infinity'', we ought to be careful to specify which infinity we mean.

==Archimedean property==

==Archimedean property==

   

   

== Philosophy of mathematics ==

== Philosophy of mathematics ==

Different positions in the [[philosophy of mathematics]] have different attitudes towards infinity. At one extreme, Platonists and formalists generally have no philosophical objection to any form of infinity than can be defined. At the other extreme, finitists and ultrafinitists deny the existence of infinity; to them, only finite quantities, and finite objects, actually exist. In the middle, many constructivists and intuitionists adopt a position of countablism - an acceptance of the existence of countable sets, but denying that uncountable sets exist.

Different positions in the [[philosophy of mathematics]] have different attitudes towards infinity. At one extreme, Platonists and formalists generally have no philosophical objection to any form of infinity that can be defined. At the other extreme, finitists and ultrafinitists deny the existence of infinity; to them, only finite quantities, and finite objects, actually exist. In the middle, many constructivists and intuitionists adopt a position of countablism - an acceptance of the existence of countable sets, but denying that uncountable sets exist.

== Critics of infinity ==

== Critics of infinity ==