Does this reasoning ever reach infinity? 0<1<2<3<4<5

  • Context: High School 
  • Thread starter Thread starter Hippasos
  • Start date Start date
  • Tags Tags
    Infinity
Click For Summary

Discussion Overview

The discussion revolves around the concept of infinity in the context of a sequence of natural numbers represented by the inequality 0<1<2<3<4<5... Participants explore what it means for this reasoning to "reach" infinity, examining the implications of infinity as a concept rather than a number.

Discussion Character

  • Exploratory
  • Conceptual clarification
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants suggest that the reasoning n
  • Others argue that infinity is a concept and not a number, which complicates the idea of "reaching" infinity.
  • A participant points out that mathematical procedures cannot be performed on infinity, such as claiming infinity/infinity = 1.
  • There is a discussion about whether mathematics can exist without concepts like infinity, with varying opinions on the necessity of concepts in mathematics.
  • One participant emphasizes that the notation x < y < z is a form of 'abuse of notation' and should be interpreted carefully.
  • Some participants propose that the infinite sequence can be expressed using quantifiers, such as ∀n ∈ ℤ⁺ (n-1 < n), to clarify its meaning.
  • There are mentions of transfinite arithmetic and Cantor's work, suggesting a broader mathematical context for discussing infinity.
  • Concerns are raised about the vagueness of the opening post and the need for clearer definitions of terms like "reach" and the meaning of the ellipsis.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the interpretation of infinity in this context. Multiple competing views remain regarding the nature of infinity, its role in mathematics, and the meaning of the sequence presented.

Contextual Notes

Limitations include the ambiguity in the opening post regarding the meaning of "reach" and the ellipsis, as well as the varying interpretations of mathematical notation and concepts related to infinity.

  • #31


Well, it depends on how you define '->' for multi valued logics.

I mean, say we have a logic where every truth value is in [0,1], surely I could then define P -> Q such that P <= Q.

I'm sure we could still derive some interesting things from it.

But I kind of have to plead ignorance on multi valued logics here, so maybe you have a superb reason on why this can't be done.
 

Similar threads

  • · Replies 21 ·
Replies
21
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 31 ·
2
Replies
31
Views
3K
Replies
15
Views
9K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 31 ·
2
Replies
31
Views
3K