Infinity: Is it Completed or Contradictory?

  • Context: Undergrad 
  • Thread starter Thread starter pat8126
  • Start date Start date
  • Tags Tags
    infinity
Click For Summary

Discussion Overview

The discussion revolves around the concept of infinity, specifically whether it can be considered a completed set or if this notion leads to contradictions. Participants explore the philosophical implications of actual versus potential infinities, the mathematical definitions of finite and infinite sets, and the distinctions between discrete and continuous mathematics.

Discussion Character

  • Debate/contested
  • Conceptual clarification
  • Mathematical reasoning

Main Points Raised

  • Some participants question whether actual infinity, as a completed set of infinite data points, is inherently contradictory.
  • Others argue that the distinction between actual and potential infinities is a philosophical issue rather than a mathematical one, citing Aristotle and Aquinas.
  • There are discussions about the need for a shared axiomatic understanding of infinity when establishing mathematical proofs.
  • Some participants propose that discrete mathematical models can be defined to a finite level of precision, while continuous models cannot.
  • One participant suggests that measuring the number of forum users at any time results in a discrete value, as it is finite.
  • Another participant challenges the notion of measuring time intervals, asserting that they can be modeled as real numbers, leading to an infinite number of possible intervals.
  • Some participants emphasize the importance of distinguishing between counting and measuring in mathematical contexts.
  • There is mention of the Peano axioms as a characterization of completed infinity, which some argue does not involve a contradiction.
  • Disagreements arise regarding the definitions and implications of finite versus infinite sets, as well as the terms used in mathematical discussions.

Areas of Agreement / Disagreement

Participants express multiple competing views on the nature of infinity, the distinctions between finite and infinite, and the definitions of mathematical terms. The discussion remains unresolved, with no consensus on the implications of actual infinity or the definitions of related concepts.

Contextual Notes

Limitations include varying interpretations of mathematical terms such as "data," "measurement," and "precision," as well as differing understandings of discrete versus continuous mathematics. The discussion reflects a mix of philosophical and mathematical perspectives without clear resolutions.

pat8126
Messages
52
Reaction score
8
TL;DR
How can infinity ever complete, by definition?
If actual infinity represents a completed set of infinite data points, wouldn't that be a contradiction of terms?
 
Mathematics news on Phys.org
The notion of 'actual infinities' and 'potential infinities' is a philosophical notion that was invented by Aristotle, and later picked up by Aquinas. It is not science or mathematics, but metaphysics, a topic that physicforums does not cover (for good reason, but it would take too long to explain why).

If you type 'philosophy forums' into your favourite internet search engine, you will find a number of places where you would find people willing to discuss this topic.
 
pat8126 said:
Summary: How can infinity ever complete, by definition?

If actual infinity represents a completed set of infinite data points, wouldn't that be a contradiction of terms?
Infinite means "not finite". The set of natural numbers ##0, 1, 2 \dots## is not finite. You can always add ##1## to get another number. By definition therefore this is an infinite set.
 
  • Like
Likes   Reactions: Klystron
andrewkirk said:
The notion of 'actual infinities' and 'potential infinities' is a philosophical notion that was invented by Aristotle, and later picked up by Aquinas. It is not science or mathematics, but metaphysics, a topic that physicforums does not cover (for good reason, but it would take too long to explain why).

If you type 'philosophy forums' into your favourite internet search engine, you will find a number of places where you would find people willing to discuss this topic.
In order to choose one's model of mathematical reasoning to establish a proof, doesn't one need a shared axiomatic understanding of infinity?

For instance, data measurement within a discrete mathematical model can be defined to a finite level of precision, whilst data measurement within a continuous mathematical model cannot.

Isn't that the difference between using Calculus and finite math to model and solve a problem?
 
pat8126 said:
In order to choose one's model of mathematical reasoning to establish a proof, doesn't one need a shared axiomatic understanding of infinity?

For instance, data measurement within a discrete mathematical model can be defined to a finite level of precision, whilst data measurement within a continuous mathematical model cannot.

Isn't that the difference between using Calculus and finite math to model and solve a problem?
If I understood any of that I would try to answer you.

Nothing you say concurs with any knowledge I have of mathematics.
 
PeroK said:
If I understood any of that I would try to answer you.

Nothing you say concurs with any knowledge I have of mathematics.
What is the difference between finite mathematics and continuous mathematics?
 
pat8126 said:
What is the difference between finite mathematics and continuous mathematics?
You can easily look that up online.
 
PeroK said:
You can easily look that up online.
I already have a concurrence relationship between the information online and my understanding of the question.

At the moment, the only thing indefinite about your response is your understanding relative to my own.

Are we talking about the same stuff or is there a fundamental misunderstanding that can only be discovered through conversation?
 
pat8126 said:
I already have a concurrence relationship between the information online and my understanding of the question.

At the moment, the only thing indefinite about your response is your understanding relative to my own.

Are we talking about the same stuff or is there a fundamental misunderstanding that can only be discovered through conversation?
What's the question? You've posted this under "general math". Can you phrase your question in mathematical language?

Note that, for example, "data", "measurement" and "precision" are not generally mathematical terms.

Also note that "finite" and "discrete" are not the same.
 
  • #10
PeroK said:
What's the question? You've posted this under "general math". Can you phrase your question in mathematical language?

Note that, for example, "data", "measurement" and "precision" are not generally mathematical terms.

Also note that "finite" and "discrete" are not the same.
If a person needed to measure the number of people on the forum at any given time, it would be a discrete value since there is a finite set of people at any given time.

Do you agree with this proposition?
 
  • #11
pat8126 said:
If a person needed to measure the number of people on the forum at any given time, it would be a discrete value since there are a finite set of people at any given time.

Do you agree with this proposition?

I think we can safely assume that PF has and always will have a finite set of users, online or otherwise.

That's hardly a question worth asking.
 
  • #12
PeroK said:
I think we can safely assume that PF has and always will have a finite set of users, online or otherwise.

That's hardly a question worth asking.
If one wanted to measure the total number of possible time intervals one could use to sample the size of the physics users on the forums, would that be a finite value or an infinite value?
 
  • #13
pat8126 said:
If one wanted to measure the total number of possible time intervals one could use to sample the size of the physics users on the forums, would that be a finite value or an infinite value?
That's not a maths question.

A time interval can be modeled as a real number. But, in practical terms any measurement can only have a finite set of answers. That's an experimental question.

Maths itself does not deal with "measurements", as I said above. Maths deals with numbers.
 
  • #14
PeroK said:
That's not a maths question.

A time interval can be modeled as a real number. But, in practical terms any measurement can only have a finite set of answers. That's an experimental question.

Maths itself does not deal with "measurements", as I said above. Maths deals with numbers.
Math itself deals with patterns and the ability to communicate them to others.
 
  • #16
pat8126 said:
Math itself deals with patterns and the ability to communicate them to others.
In this sense, mathematics includes a completed infinity.

The Peano axioms are a characterization of a completed infinity -- the natural numbers. They are a "pattern" which can be communicated.

No, this does not involve a contradiction. If you see a contradiction, perhaps you can exhibit it.
 
  • Like
Likes   Reactions: PeroK
  • #17
pat8126 said:
If a person needed to measure the number of people on the forum at any given time, it would be a discrete value since there is a finite set of people at any given time.
You don't "measure" the number of people in a forum -- you count them. The set of possible values for the number of people in a forum is both discrete (since the count will always be an integral value) and finite. As already mentioned, these are separate concepts.
The postitive integers {1, 2, 3 ...} is a discrete set, since they are separated, but it is also infinite.
 
  • #18
pat8126 said:
If one wanted to measure the total number of possible time intervals one could use to sample the size of the physics users on the forums, would that be a finite value or an infinite value?
Again, we don't "measure" the total number of whatevers -- we count them. The time intervals could be any real, nonnegative length, so there would be an infinite number of them, assuming we could measure time to any desired degree of precision. However, the clock we use is necessarily of the real world, so there are limits to the degree of precision with which we can measure the elapse of time.

And what size are you talking about -- their heights, weights, what? If you mean how many forum users, we don't call that the "size" -- instead, that would be the number or count of users.

You appear to be mixing up two orthogonal concepts -- discrete and infinite. The integers are an infinite set, but are discrete, with any two adjacent integers being separated by one unit. For any integer, there is another integer that is next to it, in either direction. The real numbers are continuous and are also an infinite set. For any real number, thought, there is no "next" real number.
 
Last edited:
  • #19
This thread seems to have run its course, so I am closing it.
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
389
  • · Replies 22 ·
Replies
22
Views
3K
  • · Replies 31 ·
2
Replies
31
Views
5K
  • · Replies 35 ·
2
Replies
35
Views
5K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 64 ·
3
Replies
64
Views
6K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 41 ·
2
Replies
41
Views
5K
  • · Replies 4 ·
Replies
4
Views
2K