# Questions tagged [natural-numbers]

For question about natural numbers $\Bbb N$, their properties and applications

1,104 questions
Filter by
Sorted by
Tagged with
29 views

### Range of an integer $t$ for which the following inequality holds

Consider the following inequality given by $$-3at(2t-7)+ 3ta^2 +\binom{2t-8-2a}{3}-\binom{3t-8-2a}{3} \leq \binom{2t-8}{3}-\binom{3t-8}{3}$$ Is there a nicer way (without simplifying the expression) ...
27 views

### How to prove that $\forall a \forall b \exists x(a+x=b \lor b+x=a)$

The universe is the set of natural numbers including 0, defined by the Peano Axioms. I tried and failed to prove this by induction on b.
1 vote
43 views

63 views

### If I define addition in the following way, how can I prove that it's commutative?

$a+b=a$, if $b=0$ $a+b=S(a)+S^{-1}(b)$, if $b\not=0$ Here a and b are natural numbers defined according to the Peano axioms, while S represents the successor function. Basically, I am trying to prove ...
14 views

### Does the infinite limit probability of additive closure for pairs of elements from $(0, 1, 2 \cdots, n)$ not exist?

Suppose that we have a sequence of non-negative integers $S_n = (0, 1, 2 \cdots, n)$. At a given value of $n$ we can uniformly sample two elements of $S$ with replacement. We can check if adding those ...
1 vote
60 views

### What exactly is zero? [duplicate]

I'm learning set theory and the construction of set of natural numbers by Peano's axioms, which says "$0$ is a natural number", and everything starts at $0$. Then what is $0$? In set theory, ...
37 views

### Numbers preceded by perfect cube and followed by perfect square

I read a puzzle about finding a natural number that is preceded by a perfect square and followed by a perfect cube. The answer was $26$, which is preceded by $25=5^2$ and followed by $27=3^3$. Are ...
14 views

87 views

42 views

### Does an open Interval of natural numbers have a minimum and maximum? (unlike one of rational numbers)

Like for example (1, 9) The maximum would be 8, because we are talking about natural numbers, so the problem of an undefined maximum (the number right before 9) doesn't exist? Am I right?
1 vote
44 views

### Adequately defining the fundamental theorem of arithmetic.

Adequately defining the fundamental theorem of arithmetic. So after sifting through the internet, I realized that there are a few ways the fundamental theorem of arithmetic is defined. Paraphrasing, ...
87 views

### Analytic number theory-Are these sums equal?

I am studying analytic number theory by myself and I came across with two posts that seem to confuse me . Let $S(x)=\sum_{p\le x,\; q\le x,\; pq\gt x}\frac{1}{pq}$, where p and q are primes. Find the ...
93 views

### Why does this nonstandard model of Robinson Arithmetic fail to be a model of PA?

As talked about in this question, there is a nonstandard model of Robinson arithmetic of the form: $z_0 + z_1\omega + z_2\omega^2 + z_3\omega^3 + ... + z_n\omega^n$ in which $\omega$ is a formal ...
50 views

### Where does this proof that $P(\mathbb{N})$ is countable fail?

Let $A_k$ be the set of all subsets of $P(\mathbb{N})$ with size $k$. $A_k\in\mathbb{N}^k$ is countable for $k\in\mathbb{N}$. Since $$P(\mathbb{N})=\bigcup_{k=1}^\infty A_k$$ which is a countable ...
1 vote
52 views

274 views

### Finding Integer Approximations

The Saros is the time period for the draconic month ($T_d$ = 27.212220815 days), synodic month ($T_s$ = 29.530588861 days) and anomalistic month ($T_a$ = 27.554549886 days) to approximately match. ...
36 views

### bijection between naturals

in https://www.coursehero.com/file/69596247/hw0pdf/ problem 3 asks to find a bijection between $\mathbb{N}$ and $\mathbb{N} \times \mathbb{N}=\mathbb{N}^2$. Recalling Cantor diagonal proof it is easy ...
24 views

### What are the solutions for $y = \frac{a^n}{b^m}x$, with $a, b \in \mathbb{R}, x, y, n, m \in \mathbb{N}$?, how can they be approximated?

Came to this equation while trying to find if any natural number $x$ can be transformed into another natural number $y$ by multiplying $x$ by a real number $a$ a number of times $n$, and dividing it ...
110 views

### Is ZFC arithmetically sound?

I apologize that this question is fairly philosophical and not purely mathematical. For the purposes of this question, I would like to take the point of view that that natural numbers are "real&...
244 views

### Why does my topology textbook (Munkres) define positive integers as the intersection of all inductive subsets of the reals?

This is how the topology textbook I'm reading (Munkres) defines integers: A subset of the real numbers is "inductive" if it contains 1 and $1+x$ for all $x$ in the subset. The intersection ...
47 views

### The $a+nd$ topology for $\mathbb{N}$

For each $a, d \in \Bbb N$, let $B(a,d) = \{a+nd \mid n \in \mathbb{N}\cup\{0\} \, \}$. I seek to show that $\mathscr{B} = \{B(a,d)\}$ is a basis for a topology on $\mathbb{N}$. I have already shown ...
37 views

### Order preserving map from interval $(0,1)$ to the ultrafilter

Let $\mathcal{A}= \prod_{n \in \mathbb{N}} \mathcal{A}_n /\mathcal{U}$, where $\mathcal{A}_n=(\{0, 1, \dots, n\},<)$ and $\mathcal{U}$ is a non-principal ultrafilter of $\mathbb{N}$. Does there ...
77 views

### Question about the product of some consecutive integers being factorials. [duplicate]

A nice little curio. 1 = 1! 2(3) = 6 = 3! 4(5)(6) = 120 = 5! 7(8)(9)(10) = 5040 = 7! Are there any other examples of products of 'some' consecutive integers equalling factorials? Is there a proof ...
57 views

### Induction axiom and its logical properties

Is the induction axiom (postulated in the Peano Axioms or in Dedekinds version using only FOL) a logical truth or a contigent truth (so that it could turn out false)? IMO the induction axiom would be ...
26 views

### Addition and Multiplication Independent of Permutations

Note: In this discussion, $0$ is included in $\mathbb{N}$. In Chapter 1, Section 5.13 (a) from Analysis I by Amann and Escher, there is the following statement: ... If addition $+$ and multiplication ...
40 views

### Does the side of the successor function in the second postulate of the definition of addition matter?

In Peano arithmetic addition is usually defined with the following two postulates: $(1a):p + 0 = p$ $(2a):p + S(q) = S(p+q)$ Lets say I put the successor term of the second postulate on the left? ...
1 vote
46 views

### How do I define the proper subset $\bigcup\limits_{i=1}^\infty[n^2,n^2+1]$ of a set $\bigcup\limits_{i=1}^\infty[n,n+1]$

I have to determine if the set $T=\bigcup\limits_{i=1}^\infty[n^2,n^2+1]$ is bounded and find the supremum and infimum if they exist. Clearly, $T=\{[1,2], [4,5], [9,10]...\}$ it is clearly bounded ...
94 views

### What is the sum of natural numbers that have $5$ digits or less, and all of the digits are distinct?

$1+2+3+\dots+7+8+9+10+12+13+\dots+96+97+98+102+103+104+\dots+985+986+987+1023+1024+1025+\dots+9874+9875+9876+10234+10235+10236+\dots+98763+98764+98765=$ The only thing I can do is to evaluate a (bad) ...
28 views

### How many elements of the inverse of an $n\times n$ matrix of natural numbers can be the same as itself?

What is the maximum number of elements of the inverse of an $n\times n$ matrix consisting of natural numbers $(\geq1)$ that are identical to itself? This question arose from my previous question, How ...
1 vote
48 views

### Question regarding natural numbers in Tao’s Analysis 1.

This doubt might be a mistake on my part, but its confused me for a while now so I decided to ask here. In Terrence Tao’s “Analysis 1”, at the beginning of the chapter about Natural Numbers (where he ...
15 views

### How to solve this problem on alligations?

Question: "The diluted wine contains only 8 litres of wine and the rest is water. A new mixture whose initial concentration is 30 %, is to be formed by replacing wine. How many litres of mixture ...