Is list of prime numbers a sequence

The fact that we humans don't know all the elements of a sequence doesn't stop a sequence from being a sequence. Yes, the sequence of prime numbers is a sequence, as well-defined as any.


Similarly, $(a_n)_{n\in\mathbb N}$ defined as $a_n = n,$ that is an identity function on the set of natural numbers $a:\mathbb N \to \mathbb N$ defined with $a: n \mapsto n$, would be a non-sequence, because we do not know all the natural numbers. Right?

The fact we do not know apriori some / many / almost all of the terms does not invalidate the definition. As long as each term is well defined, the sequence is defined.
The natural numbers are well-ordered, so their subset of prime numbers are well-ordered, too. Hence 'the next prime number' is well defined at each step, and so is the whole sequence. No matter how hard it might be to find the actual value of the 'next term'.

Tags:

Sequences And Series

Related

Is it true that $ \lim_{x\to0}\frac{f'\left(x\right)-\frac{f\left(x\right)-f\left(0\right)}{x}}{x}=\frac{f''\left(0\right)}{2} $ Solving a coupled system of linear ODEs (one second order, the other first order) Prove that $2^{n}+1$ is not a cube of an integer for all $n\in\mathbb{N}$ Prove that there are no integer solutions to $x\left(y^{2}-1\right)=y\left(2+\frac{1}{x}\right)$ Solve the system of linear inequalities with parameters How can I prove $\int_{0}^{1} \frac {x-1}{\log(x) (1+x^3)}dx=\frac {\log3}{2}$ Does a function $f$ with the following property exist? How to evaluate $\int_0^{\pi/2} x\ln^2(\sin x)\textrm{d}x$ in a different way? If two zero sets are homeomorphic, is the ring of polynomials over the sets also homeomorphic? A sum of series with the inverse squared central binomial coefficient Number of permutations of $D,D,D,O,O,O,G,G,G$ such that no two $D$ are adjacent and no two $G$ are adjacent Can a sum of $n$ squares be expressed as the sum of $n/2$ squares?

Recent Posts