Discussion Overview
The discussion revolves around identifying alternative infinite sets of coprimes generated by simple functions, exploring various mathematical sequences and their properties. Participants are particularly interested in defining formulas that yield the nth term of such sets.
Discussion Character
- Exploratory
- Technical explanation
- Debate/contested
- Mathematical reasoning
Main Points Raised
- One participant inquires about infinite sets of coprimes beyond Sylvester's sequence, defined as S(n)=S(n-1)*(S(n-1)-1)+1, with S(0)=2.
- Another suggests that the primes could be considered, although this is met with skepticism regarding their relevance.
- There is a proposal to consider primes that are congruent to 1 mod 4 or products of certain pairs of primes as potential coprime sets.
- A participant expresses a desire for a set along with a defining formula for the nth term, prompting further discussion on the nature of such formulas.
- One participant mentions the expression 2^n - 1 as a means to demonstrate the existence of infinitely many primes, noting that consecutive terms are coprime.
- Another participant challenges the coprimality of certain terms derived from 2^n - 1, leading to a clarification that only consecutive terms are coprime.
- A proposed formula for generating coprimes is a(n) = 5*2^(2n) + 5*2^n + 1, with a request for proof or disproof of its validity.
- Concerns are raised about the divisibility of terms generated by the proposed formula, suggesting that they may not always yield coprimes.
- A participant expresses appreciation for a specific reply that aligns with their inquiry but notes that restricting n to prime numbers renders the formula ineffective for their purpose.
Areas of Agreement / Disagreement
Participants do not reach a consensus on a specific set of coprimes or a universally accepted formula. Multiple competing views and uncertainties regarding the properties of proposed sequences remain evident throughout the discussion.
Contextual Notes
Some limitations include the lack of definitive proofs for the proposed formulas and the unresolved nature of the coprimality of certain terms. The discussion also highlights dependencies on specific definitions and conditions for the sequences mentioned.
