Is there a property in $mathbb{N}$ that we know some number must satisfy but don't know which one?
I have two questions.
$(1.)$ Is there a property of the natural numbers such that we know at least one number satisfies it but we don't know which one?
Even more,
$(2.)$ Is there a property of the natural numbers such that we know at least one number satisfies but we don't know which one and moreover we cannot bound any such number by another known number?
Now the question might arise of what does it mean to know a number. To be able to write it down in finite time given an infinite amount ink and paper would suffice.
elementary-number-theory big-list
add a comment |
I have two questions.
$(1.)$ Is there a property of the natural numbers such that we know at least one number satisfies it but we don't know which one?
Even more,
$(2.)$ Is there a property of the natural numbers such that we know at least one number satisfies but we don't know which one and moreover we cannot bound any such number by another known number?
Now the question might arise of what does it mean to know a number. To be able to write it down in finite time given an infinite amount ink and paper would suffice.
elementary-number-theory big-list
Well, I'm not sure if that will help, but I've heard that number theorists know that one of the numbers $3$, $5$ or $7$ (not sure now if these are the numbers, but there are three of them) is a primitive root $operatorname{mod}: p$ for an infinite amount of prime numbers $p$, but they don't know which one of them.
– Shoutre
Oct 24 '15 at 20:59
1
This question is similar but narrower, and has numerous good answers that fit well here too: math.stackexchange.com/questions/1315615/…
– Travis
Oct 24 '15 at 21:19
add a comment |
I have two questions.
$(1.)$ Is there a property of the natural numbers such that we know at least one number satisfies it but we don't know which one?
Even more,
$(2.)$ Is there a property of the natural numbers such that we know at least one number satisfies but we don't know which one and moreover we cannot bound any such number by another known number?
Now the question might arise of what does it mean to know a number. To be able to write it down in finite time given an infinite amount ink and paper would suffice.
elementary-number-theory big-list
I have two questions.
$(1.)$ Is there a property of the natural numbers such that we know at least one number satisfies it but we don't know which one?
Even more,
$(2.)$ Is there a property of the natural numbers such that we know at least one number satisfies but we don't know which one and moreover we cannot bound any such number by another known number?
Now the question might arise of what does it mean to know a number. To be able to write it down in finite time given an infinite amount ink and paper would suffice.
elementary-number-theory big-list
elementary-number-theory big-list
edited Dec 6 at 16:09
asked Oct 24 '15 at 20:55
Anguepa
1,296819
1,296819
Well, I'm not sure if that will help, but I've heard that number theorists know that one of the numbers $3$, $5$ or $7$ (not sure now if these are the numbers, but there are three of them) is a primitive root $operatorname{mod}: p$ for an infinite amount of prime numbers $p$, but they don't know which one of them.
– Shoutre
Oct 24 '15 at 20:59
1
This question is similar but narrower, and has numerous good answers that fit well here too: math.stackexchange.com/questions/1315615/…
– Travis
Oct 24 '15 at 21:19
add a comment |
Well, I'm not sure if that will help, but I've heard that number theorists know that one of the numbers $3$, $5$ or $7$ (not sure now if these are the numbers, but there are three of them) is a primitive root $operatorname{mod}: p$ for an infinite amount of prime numbers $p$, but they don't know which one of them.
– Shoutre
Oct 24 '15 at 20:59
1
This question is similar but narrower, and has numerous good answers that fit well here too: math.stackexchange.com/questions/1315615/…
– Travis
Oct 24 '15 at 21:19
Well, I'm not sure if that will help, but I've heard that number theorists know that one of the numbers $3$, $5$ or $7$ (not sure now if these are the numbers, but there are three of them) is a primitive root $operatorname{mod}: p$ for an infinite amount of prime numbers $p$, but they don't know which one of them.
– Shoutre
Oct 24 '15 at 20:59
Well, I'm not sure if that will help, but I've heard that number theorists know that one of the numbers $3$, $5$ or $7$ (not sure now if these are the numbers, but there are three of them) is a primitive root $operatorname{mod}: p$ for an infinite amount of prime numbers $p$, but they don't know which one of them.
– Shoutre
Oct 24 '15 at 20:59
1
1
This question is similar but narrower, and has numerous good answers that fit well here too: math.stackexchange.com/questions/1315615/…
– Travis
Oct 24 '15 at 21:19
This question is similar but narrower, and has numerous good answers that fit well here too: math.stackexchange.com/questions/1315615/…
– Travis
Oct 24 '15 at 21:19
add a comment |
6 Answers
6
active
oldest
votes
Goldbach's conjecture is the statement that, if $n$ is an even natural number and $n>2$ then $n$ is the sum of two primes. It is not known whether this conjecture is true, nor is any bound known on how big the first counterexample could be if the conjecture is false. In view of this situation, consider the following property of a natural number $n$: Either $n$ is the first counterexample to Goldbach's conjecture or Goldbach's conjecture is true and $n=0$. We know that there is exactly one $n$ with this property (because either Goldbach's conjecture is true or it has exactly one first counterexample), but we don't have any reasonable bound for how big $n$ could be. (The weasely word "reasonable" is there to exclude "bounds" like "$7+$ the first counterexample to Goldbach's conjecture or $13$ if Goldbach's conjecture is true".)
I've been rethinking about your answer and noticed I can be somehow picky about it. We do not know whether zero satisfies the property you've described. What about a property $p$ that answers my second question and such that for any $nin mathbb{N}$ we can answer whether $p(n)$ or $neg p(n)$? If you can think of one feel free to share it :)
– Anguepa
Apr 16 '16 at 11:19
@Anguepa By "we can answer whether $p(n)$ or $neg p(n)$", do you mean that we know an algorithm which, given any $n$, eventually decides whether $p(n)$ or $neg p(n)$?
– Andreas Blass
Apr 16 '16 at 19:00
Yes. Sorry I should've made that clear.
– Anguepa
Apr 17 '16 at 18:02
@Anguepa There's still a loophole, allowing an answer to Question 1 that's almost surely not what you really want. Consider the property "$n$ is the exact number of primes below $10^{10^{10}}$." There's exactly one $n$ with this property, and we know an algorithm to decide whether any proposed $n$ is the right one; indeed, we have an algorithm that computes the right $n$. But the algorithm is awfully slow, and I don't think we actually know the right $n$. (If we do, extend the tower of exponents a few more steps.)
– Andreas Blass
Apr 17 '16 at 23:02
This seems to be a more simple version of AJ Stas's answer to question 1. I am however curious about a property that answers question 2, like the one you gave in your answer, but having the additional characteristic we've discussed.
– Anguepa
Apr 18 '16 at 10:38
add a comment |
For the first question, we know there is a smallest natural number $n$ such that $pi(n)>text{li}(n)$ where $pi(x)$ is the prime counting function and li$(x)$ is the logarithmic integral, but we don't know what the number is.
EDIT: For the sake of having a more complete answer, I will include our discussion in the comments.
There has been much progress in determining an upper bound for the first integer at which this switch occurs, but still the number eludes us. Strangely enough, we know that there are infinitely many numbers for which this inequality holds.
1
This is what I had in mind; not only do we know there is a smallest, we know that $pi(x)-mathrm{Li}(x)$ changes sign infinitely many times, and we don't have an example yet of when it is positive.
– Clayton
Oct 24 '15 at 21:02
Very interesting @AJStas. Doesn't this answer the second question too?
– Anguepa
Oct 24 '15 at 21:06
1
@Anguepa: We have bounds for where such a number must live, but the bounds are far too large to expect a modern computer to be able to handle it in practical time.
– Clayton
Oct 24 '15 at 21:08
@Anguepa There have been many upper bounds for this number though, so I wasn't really sure.
– Rocket Man
Oct 24 '15 at 21:08
1
@Anguepa: A quick Google search yields a page with some bounds along the lines of $10^{316}$.
– Clayton
Oct 24 '15 at 21:12
add a comment |
Here's an interesting example that is the subject of recent (and celebrated) research:
Consider the set ${p_1, p_2, p_3, ldots}$ of prime numbers, listed in increasing order. The $n$th prime gap is the difference $p_{n + 1} - p_n$. In 2013, Yitang Zhang showed that there are infinitely many prime gaps of size $leq 7 cdot 10^7$. Since there are only finitely many positive integers smaller than this size, at least one of them must occur infinitely often, but we don't know which. Since then, the Polymath project has improved that upper bound to $246$ (as of last December). The famous and longstanding Twin Prime Conjecture says that $2$ occurs infinitely often.
add a comment |
It is known that one of
ζ(5), ζ(7), ζ(9), and ζ(11) must be irrational,
but no one knows which one:
W. Zudilin (2001). "One of the numbers ζ(5), ζ(7), ζ(9), ζ(11) is irrational". Russ. Math. Surv. 56 (4): 774–776. doi:10.1070/RM2001v056n04ABEH000427.
2
Probably all of them are irrational.
– azimut
Oct 30 '15 at 21:20
2
Heck, probably all of them are transcendental, normal to all bases, and have all the properties that almost all numbers have.
– marty cohen
Oct 30 '15 at 21:38
add a comment |
Consider $Sigma(m,n)$ to be the busy beaver function with $m$ states and $n$ colors.
The following is then very hard to find:
What is the smallest $m$ such that $Sigma(m,2)>Sigma(10,3)$?
Since there is a color reduction method for reducing a $k$ state, 3 color machine to a $7k$ state, 2 color machine, it is known that $mleq 70$. On the other hand, it is clear that $m>10$. But it is very hard to say anything between this.
add a comment |
Since we do not know , for example $Sigma(5)$ , we do not know which number $n$ satisfies $n=Sigma(5)$, but we know that some number $n$ must satisfy the property. In this case we do not even have an upper bound.
Another less trivial example : The $20$-th Fermat-number $2^{2^{20}}+1$ is known to be composite, but no factor is known.
Denote $n$ to be the smallest prime factor of the $20$-th Fermat-number.
This number is well-defined but we do not know it, but in this case, we can bound it.
If this does not hit your intention, please precise which kind of properties you mean.
what means $Sigma$
– miracle173
Jun 10 '17 at 6:28
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1495893%2fis-there-a-property-in-mathbbn-that-we-know-some-number-must-satisfy-but-do%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
6 Answers
6
active
oldest
votes
6 Answers
6
active
oldest
votes
active
oldest
votes
active
oldest
votes
Goldbach's conjecture is the statement that, if $n$ is an even natural number and $n>2$ then $n$ is the sum of two primes. It is not known whether this conjecture is true, nor is any bound known on how big the first counterexample could be if the conjecture is false. In view of this situation, consider the following property of a natural number $n$: Either $n$ is the first counterexample to Goldbach's conjecture or Goldbach's conjecture is true and $n=0$. We know that there is exactly one $n$ with this property (because either Goldbach's conjecture is true or it has exactly one first counterexample), but we don't have any reasonable bound for how big $n$ could be. (The weasely word "reasonable" is there to exclude "bounds" like "$7+$ the first counterexample to Goldbach's conjecture or $13$ if Goldbach's conjecture is true".)
I've been rethinking about your answer and noticed I can be somehow picky about it. We do not know whether zero satisfies the property you've described. What about a property $p$ that answers my second question and such that for any $nin mathbb{N}$ we can answer whether $p(n)$ or $neg p(n)$? If you can think of one feel free to share it :)
– Anguepa
Apr 16 '16 at 11:19
@Anguepa By "we can answer whether $p(n)$ or $neg p(n)$", do you mean that we know an algorithm which, given any $n$, eventually decides whether $p(n)$ or $neg p(n)$?
– Andreas Blass
Apr 16 '16 at 19:00
Yes. Sorry I should've made that clear.
– Anguepa
Apr 17 '16 at 18:02
@Anguepa There's still a loophole, allowing an answer to Question 1 that's almost surely not what you really want. Consider the property "$n$ is the exact number of primes below $10^{10^{10}}$." There's exactly one $n$ with this property, and we know an algorithm to decide whether any proposed $n$ is the right one; indeed, we have an algorithm that computes the right $n$. But the algorithm is awfully slow, and I don't think we actually know the right $n$. (If we do, extend the tower of exponents a few more steps.)
– Andreas Blass
Apr 17 '16 at 23:02
This seems to be a more simple version of AJ Stas's answer to question 1. I am however curious about a property that answers question 2, like the one you gave in your answer, but having the additional characteristic we've discussed.
– Anguepa
Apr 18 '16 at 10:38
add a comment |
Goldbach's conjecture is the statement that, if $n$ is an even natural number and $n>2$ then $n$ is the sum of two primes. It is not known whether this conjecture is true, nor is any bound known on how big the first counterexample could be if the conjecture is false. In view of this situation, consider the following property of a natural number $n$: Either $n$ is the first counterexample to Goldbach's conjecture or Goldbach's conjecture is true and $n=0$. We know that there is exactly one $n$ with this property (because either Goldbach's conjecture is true or it has exactly one first counterexample), but we don't have any reasonable bound for how big $n$ could be. (The weasely word "reasonable" is there to exclude "bounds" like "$7+$ the first counterexample to Goldbach's conjecture or $13$ if Goldbach's conjecture is true".)
I've been rethinking about your answer and noticed I can be somehow picky about it. We do not know whether zero satisfies the property you've described. What about a property $p$ that answers my second question and such that for any $nin mathbb{N}$ we can answer whether $p(n)$ or $neg p(n)$? If you can think of one feel free to share it :)
– Anguepa
Apr 16 '16 at 11:19
@Anguepa By "we can answer whether $p(n)$ or $neg p(n)$", do you mean that we know an algorithm which, given any $n$, eventually decides whether $p(n)$ or $neg p(n)$?
– Andreas Blass
Apr 16 '16 at 19:00
Yes. Sorry I should've made that clear.
– Anguepa
Apr 17 '16 at 18:02
@Anguepa There's still a loophole, allowing an answer to Question 1 that's almost surely not what you really want. Consider the property "$n$ is the exact number of primes below $10^{10^{10}}$." There's exactly one $n$ with this property, and we know an algorithm to decide whether any proposed $n$ is the right one; indeed, we have an algorithm that computes the right $n$. But the algorithm is awfully slow, and I don't think we actually know the right $n$. (If we do, extend the tower of exponents a few more steps.)
– Andreas Blass
Apr 17 '16 at 23:02
This seems to be a more simple version of AJ Stas's answer to question 1. I am however curious about a property that answers question 2, like the one you gave in your answer, but having the additional characteristic we've discussed.
– Anguepa
Apr 18 '16 at 10:38
add a comment |
Goldbach's conjecture is the statement that, if $n$ is an even natural number and $n>2$ then $n$ is the sum of two primes. It is not known whether this conjecture is true, nor is any bound known on how big the first counterexample could be if the conjecture is false. In view of this situation, consider the following property of a natural number $n$: Either $n$ is the first counterexample to Goldbach's conjecture or Goldbach's conjecture is true and $n=0$. We know that there is exactly one $n$ with this property (because either Goldbach's conjecture is true or it has exactly one first counterexample), but we don't have any reasonable bound for how big $n$ could be. (The weasely word "reasonable" is there to exclude "bounds" like "$7+$ the first counterexample to Goldbach's conjecture or $13$ if Goldbach's conjecture is true".)
Goldbach's conjecture is the statement that, if $n$ is an even natural number and $n>2$ then $n$ is the sum of two primes. It is not known whether this conjecture is true, nor is any bound known on how big the first counterexample could be if the conjecture is false. In view of this situation, consider the following property of a natural number $n$: Either $n$ is the first counterexample to Goldbach's conjecture or Goldbach's conjecture is true and $n=0$. We know that there is exactly one $n$ with this property (because either Goldbach's conjecture is true or it has exactly one first counterexample), but we don't have any reasonable bound for how big $n$ could be. (The weasely word "reasonable" is there to exclude "bounds" like "$7+$ the first counterexample to Goldbach's conjecture or $13$ if Goldbach's conjecture is true".)
answered Oct 25 '15 at 11:00
Andreas Blass
49.1k351106
49.1k351106
I've been rethinking about your answer and noticed I can be somehow picky about it. We do not know whether zero satisfies the property you've described. What about a property $p$ that answers my second question and such that for any $nin mathbb{N}$ we can answer whether $p(n)$ or $neg p(n)$? If you can think of one feel free to share it :)
– Anguepa
Apr 16 '16 at 11:19
@Anguepa By "we can answer whether $p(n)$ or $neg p(n)$", do you mean that we know an algorithm which, given any $n$, eventually decides whether $p(n)$ or $neg p(n)$?
– Andreas Blass
Apr 16 '16 at 19:00
Yes. Sorry I should've made that clear.
– Anguepa
Apr 17 '16 at 18:02
@Anguepa There's still a loophole, allowing an answer to Question 1 that's almost surely not what you really want. Consider the property "$n$ is the exact number of primes below $10^{10^{10}}$." There's exactly one $n$ with this property, and we know an algorithm to decide whether any proposed $n$ is the right one; indeed, we have an algorithm that computes the right $n$. But the algorithm is awfully slow, and I don't think we actually know the right $n$. (If we do, extend the tower of exponents a few more steps.)
– Andreas Blass
Apr 17 '16 at 23:02
This seems to be a more simple version of AJ Stas's answer to question 1. I am however curious about a property that answers question 2, like the one you gave in your answer, but having the additional characteristic we've discussed.
– Anguepa
Apr 18 '16 at 10:38
add a comment |
I've been rethinking about your answer and noticed I can be somehow picky about it. We do not know whether zero satisfies the property you've described. What about a property $p$ that answers my second question and such that for any $nin mathbb{N}$ we can answer whether $p(n)$ or $neg p(n)$? If you can think of one feel free to share it :)
– Anguepa
Apr 16 '16 at 11:19
@Anguepa By "we can answer whether $p(n)$ or $neg p(n)$", do you mean that we know an algorithm which, given any $n$, eventually decides whether $p(n)$ or $neg p(n)$?
– Andreas Blass
Apr 16 '16 at 19:00
Yes. Sorry I should've made that clear.
– Anguepa
Apr 17 '16 at 18:02
@Anguepa There's still a loophole, allowing an answer to Question 1 that's almost surely not what you really want. Consider the property "$n$ is the exact number of primes below $10^{10^{10}}$." There's exactly one $n$ with this property, and we know an algorithm to decide whether any proposed $n$ is the right one; indeed, we have an algorithm that computes the right $n$. But the algorithm is awfully slow, and I don't think we actually know the right $n$. (If we do, extend the tower of exponents a few more steps.)
– Andreas Blass
Apr 17 '16 at 23:02
This seems to be a more simple version of AJ Stas's answer to question 1. I am however curious about a property that answers question 2, like the one you gave in your answer, but having the additional characteristic we've discussed.
– Anguepa
Apr 18 '16 at 10:38
I've been rethinking about your answer and noticed I can be somehow picky about it. We do not know whether zero satisfies the property you've described. What about a property $p$ that answers my second question and such that for any $nin mathbb{N}$ we can answer whether $p(n)$ or $neg p(n)$? If you can think of one feel free to share it :)
– Anguepa
Apr 16 '16 at 11:19
I've been rethinking about your answer and noticed I can be somehow picky about it. We do not know whether zero satisfies the property you've described. What about a property $p$ that answers my second question and such that for any $nin mathbb{N}$ we can answer whether $p(n)$ or $neg p(n)$? If you can think of one feel free to share it :)
– Anguepa
Apr 16 '16 at 11:19
@Anguepa By "we can answer whether $p(n)$ or $neg p(n)$", do you mean that we know an algorithm which, given any $n$, eventually decides whether $p(n)$ or $neg p(n)$?
– Andreas Blass
Apr 16 '16 at 19:00
@Anguepa By "we can answer whether $p(n)$ or $neg p(n)$", do you mean that we know an algorithm which, given any $n$, eventually decides whether $p(n)$ or $neg p(n)$?
– Andreas Blass
Apr 16 '16 at 19:00
Yes. Sorry I should've made that clear.
– Anguepa
Apr 17 '16 at 18:02
Yes. Sorry I should've made that clear.
– Anguepa
Apr 17 '16 at 18:02
@Anguepa There's still a loophole, allowing an answer to Question 1 that's almost surely not what you really want. Consider the property "$n$ is the exact number of primes below $10^{10^{10}}$." There's exactly one $n$ with this property, and we know an algorithm to decide whether any proposed $n$ is the right one; indeed, we have an algorithm that computes the right $n$. But the algorithm is awfully slow, and I don't think we actually know the right $n$. (If we do, extend the tower of exponents a few more steps.)
– Andreas Blass
Apr 17 '16 at 23:02
@Anguepa There's still a loophole, allowing an answer to Question 1 that's almost surely not what you really want. Consider the property "$n$ is the exact number of primes below $10^{10^{10}}$." There's exactly one $n$ with this property, and we know an algorithm to decide whether any proposed $n$ is the right one; indeed, we have an algorithm that computes the right $n$. But the algorithm is awfully slow, and I don't think we actually know the right $n$. (If we do, extend the tower of exponents a few more steps.)
– Andreas Blass
Apr 17 '16 at 23:02
This seems to be a more simple version of AJ Stas's answer to question 1. I am however curious about a property that answers question 2, like the one you gave in your answer, but having the additional characteristic we've discussed.
– Anguepa
Apr 18 '16 at 10:38
This seems to be a more simple version of AJ Stas's answer to question 1. I am however curious about a property that answers question 2, like the one you gave in your answer, but having the additional characteristic we've discussed.
– Anguepa
Apr 18 '16 at 10:38
add a comment |
For the first question, we know there is a smallest natural number $n$ such that $pi(n)>text{li}(n)$ where $pi(x)$ is the prime counting function and li$(x)$ is the logarithmic integral, but we don't know what the number is.
EDIT: For the sake of having a more complete answer, I will include our discussion in the comments.
There has been much progress in determining an upper bound for the first integer at which this switch occurs, but still the number eludes us. Strangely enough, we know that there are infinitely many numbers for which this inequality holds.
1
This is what I had in mind; not only do we know there is a smallest, we know that $pi(x)-mathrm{Li}(x)$ changes sign infinitely many times, and we don't have an example yet of when it is positive.
– Clayton
Oct 24 '15 at 21:02
Very interesting @AJStas. Doesn't this answer the second question too?
– Anguepa
Oct 24 '15 at 21:06
1
@Anguepa: We have bounds for where such a number must live, but the bounds are far too large to expect a modern computer to be able to handle it in practical time.
– Clayton
Oct 24 '15 at 21:08
@Anguepa There have been many upper bounds for this number though, so I wasn't really sure.
– Rocket Man
Oct 24 '15 at 21:08
1
@Anguepa: A quick Google search yields a page with some bounds along the lines of $10^{316}$.
– Clayton
Oct 24 '15 at 21:12
add a comment |
For the first question, we know there is a smallest natural number $n$ such that $pi(n)>text{li}(n)$ where $pi(x)$ is the prime counting function and li$(x)$ is the logarithmic integral, but we don't know what the number is.
EDIT: For the sake of having a more complete answer, I will include our discussion in the comments.
There has been much progress in determining an upper bound for the first integer at which this switch occurs, but still the number eludes us. Strangely enough, we know that there are infinitely many numbers for which this inequality holds.
1
This is what I had in mind; not only do we know there is a smallest, we know that $pi(x)-mathrm{Li}(x)$ changes sign infinitely many times, and we don't have an example yet of when it is positive.
– Clayton
Oct 24 '15 at 21:02
Very interesting @AJStas. Doesn't this answer the second question too?
– Anguepa
Oct 24 '15 at 21:06
1
@Anguepa: We have bounds for where such a number must live, but the bounds are far too large to expect a modern computer to be able to handle it in practical time.
– Clayton
Oct 24 '15 at 21:08
@Anguepa There have been many upper bounds for this number though, so I wasn't really sure.
– Rocket Man
Oct 24 '15 at 21:08
1
@Anguepa: A quick Google search yields a page with some bounds along the lines of $10^{316}$.
– Clayton
Oct 24 '15 at 21:12
add a comment |
For the first question, we know there is a smallest natural number $n$ such that $pi(n)>text{li}(n)$ where $pi(x)$ is the prime counting function and li$(x)$ is the logarithmic integral, but we don't know what the number is.
EDIT: For the sake of having a more complete answer, I will include our discussion in the comments.
There has been much progress in determining an upper bound for the first integer at which this switch occurs, but still the number eludes us. Strangely enough, we know that there are infinitely many numbers for which this inequality holds.
For the first question, we know there is a smallest natural number $n$ such that $pi(n)>text{li}(n)$ where $pi(x)$ is the prime counting function and li$(x)$ is the logarithmic integral, but we don't know what the number is.
EDIT: For the sake of having a more complete answer, I will include our discussion in the comments.
There has been much progress in determining an upper bound for the first integer at which this switch occurs, but still the number eludes us. Strangely enough, we know that there are infinitely many numbers for which this inequality holds.
edited Oct 25 '15 at 16:01
answered Oct 24 '15 at 21:01
Rocket Man
2,123818
2,123818
1
This is what I had in mind; not only do we know there is a smallest, we know that $pi(x)-mathrm{Li}(x)$ changes sign infinitely many times, and we don't have an example yet of when it is positive.
– Clayton
Oct 24 '15 at 21:02
Very interesting @AJStas. Doesn't this answer the second question too?
– Anguepa
Oct 24 '15 at 21:06
1
@Anguepa: We have bounds for where such a number must live, but the bounds are far too large to expect a modern computer to be able to handle it in practical time.
– Clayton
Oct 24 '15 at 21:08
@Anguepa There have been many upper bounds for this number though, so I wasn't really sure.
– Rocket Man
Oct 24 '15 at 21:08
1
@Anguepa: A quick Google search yields a page with some bounds along the lines of $10^{316}$.
– Clayton
Oct 24 '15 at 21:12
add a comment |
1
This is what I had in mind; not only do we know there is a smallest, we know that $pi(x)-mathrm{Li}(x)$ changes sign infinitely many times, and we don't have an example yet of when it is positive.
– Clayton
Oct 24 '15 at 21:02
Very interesting @AJStas. Doesn't this answer the second question too?
– Anguepa
Oct 24 '15 at 21:06
1
@Anguepa: We have bounds for where such a number must live, but the bounds are far too large to expect a modern computer to be able to handle it in practical time.
– Clayton
Oct 24 '15 at 21:08
@Anguepa There have been many upper bounds for this number though, so I wasn't really sure.
– Rocket Man
Oct 24 '15 at 21:08
1
@Anguepa: A quick Google search yields a page with some bounds along the lines of $10^{316}$.
– Clayton
Oct 24 '15 at 21:12
1
1
This is what I had in mind; not only do we know there is a smallest, we know that $pi(x)-mathrm{Li}(x)$ changes sign infinitely many times, and we don't have an example yet of when it is positive.
– Clayton
Oct 24 '15 at 21:02
This is what I had in mind; not only do we know there is a smallest, we know that $pi(x)-mathrm{Li}(x)$ changes sign infinitely many times, and we don't have an example yet of when it is positive.
– Clayton
Oct 24 '15 at 21:02
Very interesting @AJStas. Doesn't this answer the second question too?
– Anguepa
Oct 24 '15 at 21:06
Very interesting @AJStas. Doesn't this answer the second question too?
– Anguepa
Oct 24 '15 at 21:06
1
1
@Anguepa: We have bounds for where such a number must live, but the bounds are far too large to expect a modern computer to be able to handle it in practical time.
– Clayton
Oct 24 '15 at 21:08
@Anguepa: We have bounds for where such a number must live, but the bounds are far too large to expect a modern computer to be able to handle it in practical time.
– Clayton
Oct 24 '15 at 21:08
@Anguepa There have been many upper bounds for this number though, so I wasn't really sure.
– Rocket Man
Oct 24 '15 at 21:08
@Anguepa There have been many upper bounds for this number though, so I wasn't really sure.
– Rocket Man
Oct 24 '15 at 21:08
1
1
@Anguepa: A quick Google search yields a page with some bounds along the lines of $10^{316}$.
– Clayton
Oct 24 '15 at 21:12
@Anguepa: A quick Google search yields a page with some bounds along the lines of $10^{316}$.
– Clayton
Oct 24 '15 at 21:12
add a comment |
Here's an interesting example that is the subject of recent (and celebrated) research:
Consider the set ${p_1, p_2, p_3, ldots}$ of prime numbers, listed in increasing order. The $n$th prime gap is the difference $p_{n + 1} - p_n$. In 2013, Yitang Zhang showed that there are infinitely many prime gaps of size $leq 7 cdot 10^7$. Since there are only finitely many positive integers smaller than this size, at least one of them must occur infinitely often, but we don't know which. Since then, the Polymath project has improved that upper bound to $246$ (as of last December). The famous and longstanding Twin Prime Conjecture says that $2$ occurs infinitely often.
add a comment |
Here's an interesting example that is the subject of recent (and celebrated) research:
Consider the set ${p_1, p_2, p_3, ldots}$ of prime numbers, listed in increasing order. The $n$th prime gap is the difference $p_{n + 1} - p_n$. In 2013, Yitang Zhang showed that there are infinitely many prime gaps of size $leq 7 cdot 10^7$. Since there are only finitely many positive integers smaller than this size, at least one of them must occur infinitely often, but we don't know which. Since then, the Polymath project has improved that upper bound to $246$ (as of last December). The famous and longstanding Twin Prime Conjecture says that $2$ occurs infinitely often.
add a comment |
Here's an interesting example that is the subject of recent (and celebrated) research:
Consider the set ${p_1, p_2, p_3, ldots}$ of prime numbers, listed in increasing order. The $n$th prime gap is the difference $p_{n + 1} - p_n$. In 2013, Yitang Zhang showed that there are infinitely many prime gaps of size $leq 7 cdot 10^7$. Since there are only finitely many positive integers smaller than this size, at least one of them must occur infinitely often, but we don't know which. Since then, the Polymath project has improved that upper bound to $246$ (as of last December). The famous and longstanding Twin Prime Conjecture says that $2$ occurs infinitely often.
Here's an interesting example that is the subject of recent (and celebrated) research:
Consider the set ${p_1, p_2, p_3, ldots}$ of prime numbers, listed in increasing order. The $n$th prime gap is the difference $p_{n + 1} - p_n$. In 2013, Yitang Zhang showed that there are infinitely many prime gaps of size $leq 7 cdot 10^7$. Since there are only finitely many positive integers smaller than this size, at least one of them must occur infinitely often, but we don't know which. Since then, the Polymath project has improved that upper bound to $246$ (as of last December). The famous and longstanding Twin Prime Conjecture says that $2$ occurs infinitely often.
edited Oct 24 '15 at 21:17
answered Oct 24 '15 at 21:07
Travis
59.4k767145
59.4k767145
add a comment |
add a comment |
It is known that one of
ζ(5), ζ(7), ζ(9), and ζ(11) must be irrational,
but no one knows which one:
W. Zudilin (2001). "One of the numbers ζ(5), ζ(7), ζ(9), ζ(11) is irrational". Russ. Math. Surv. 56 (4): 774–776. doi:10.1070/RM2001v056n04ABEH000427.
2
Probably all of them are irrational.
– azimut
Oct 30 '15 at 21:20
2
Heck, probably all of them are transcendental, normal to all bases, and have all the properties that almost all numbers have.
– marty cohen
Oct 30 '15 at 21:38
add a comment |
It is known that one of
ζ(5), ζ(7), ζ(9), and ζ(11) must be irrational,
but no one knows which one:
W. Zudilin (2001). "One of the numbers ζ(5), ζ(7), ζ(9), ζ(11) is irrational". Russ. Math. Surv. 56 (4): 774–776. doi:10.1070/RM2001v056n04ABEH000427.
2
Probably all of them are irrational.
– azimut
Oct 30 '15 at 21:20
2
Heck, probably all of them are transcendental, normal to all bases, and have all the properties that almost all numbers have.
– marty cohen
Oct 30 '15 at 21:38
add a comment |
It is known that one of
ζ(5), ζ(7), ζ(9), and ζ(11) must be irrational,
but no one knows which one:
W. Zudilin (2001). "One of the numbers ζ(5), ζ(7), ζ(9), ζ(11) is irrational". Russ. Math. Surv. 56 (4): 774–776. doi:10.1070/RM2001v056n04ABEH000427.
It is known that one of
ζ(5), ζ(7), ζ(9), and ζ(11) must be irrational,
but no one knows which one:
W. Zudilin (2001). "One of the numbers ζ(5), ζ(7), ζ(9), ζ(11) is irrational". Russ. Math. Surv. 56 (4): 774–776. doi:10.1070/RM2001v056n04ABEH000427.
answered Oct 24 '15 at 22:37
marty cohen
72.2k549127
72.2k549127
2
Probably all of them are irrational.
– azimut
Oct 30 '15 at 21:20
2
Heck, probably all of them are transcendental, normal to all bases, and have all the properties that almost all numbers have.
– marty cohen
Oct 30 '15 at 21:38
add a comment |
2
Probably all of them are irrational.
– azimut
Oct 30 '15 at 21:20
2
Heck, probably all of them are transcendental, normal to all bases, and have all the properties that almost all numbers have.
– marty cohen
Oct 30 '15 at 21:38
2
2
Probably all of them are irrational.
– azimut
Oct 30 '15 at 21:20
Probably all of them are irrational.
– azimut
Oct 30 '15 at 21:20
2
2
Heck, probably all of them are transcendental, normal to all bases, and have all the properties that almost all numbers have.
– marty cohen
Oct 30 '15 at 21:38
Heck, probably all of them are transcendental, normal to all bases, and have all the properties that almost all numbers have.
– marty cohen
Oct 30 '15 at 21:38
add a comment |
Consider $Sigma(m,n)$ to be the busy beaver function with $m$ states and $n$ colors.
The following is then very hard to find:
What is the smallest $m$ such that $Sigma(m,2)>Sigma(10,3)$?
Since there is a color reduction method for reducing a $k$ state, 3 color machine to a $7k$ state, 2 color machine, it is known that $mleq 70$. On the other hand, it is clear that $m>10$. But it is very hard to say anything between this.
add a comment |
Consider $Sigma(m,n)$ to be the busy beaver function with $m$ states and $n$ colors.
The following is then very hard to find:
What is the smallest $m$ such that $Sigma(m,2)>Sigma(10,3)$?
Since there is a color reduction method for reducing a $k$ state, 3 color machine to a $7k$ state, 2 color machine, it is known that $mleq 70$. On the other hand, it is clear that $m>10$. But it is very hard to say anything between this.
add a comment |
Consider $Sigma(m,n)$ to be the busy beaver function with $m$ states and $n$ colors.
The following is then very hard to find:
What is the smallest $m$ such that $Sigma(m,2)>Sigma(10,3)$?
Since there is a color reduction method for reducing a $k$ state, 3 color machine to a $7k$ state, 2 color machine, it is known that $mleq 70$. On the other hand, it is clear that $m>10$. But it is very hard to say anything between this.
Consider $Sigma(m,n)$ to be the busy beaver function with $m$ states and $n$ colors.
The following is then very hard to find:
What is the smallest $m$ such that $Sigma(m,2)>Sigma(10,3)$?
Since there is a color reduction method for reducing a $k$ state, 3 color machine to a $7k$ state, 2 color machine, it is known that $mleq 70$. On the other hand, it is clear that $m>10$. But it is very hard to say anything between this.
answered Apr 16 '16 at 11:03
wythagoras
21.5k444104
21.5k444104
add a comment |
add a comment |
Since we do not know , for example $Sigma(5)$ , we do not know which number $n$ satisfies $n=Sigma(5)$, but we know that some number $n$ must satisfy the property. In this case we do not even have an upper bound.
Another less trivial example : The $20$-th Fermat-number $2^{2^{20}}+1$ is known to be composite, but no factor is known.
Denote $n$ to be the smallest prime factor of the $20$-th Fermat-number.
This number is well-defined but we do not know it, but in this case, we can bound it.
If this does not hit your intention, please precise which kind of properties you mean.
what means $Sigma$
– miracle173
Jun 10 '17 at 6:28
add a comment |
Since we do not know , for example $Sigma(5)$ , we do not know which number $n$ satisfies $n=Sigma(5)$, but we know that some number $n$ must satisfy the property. In this case we do not even have an upper bound.
Another less trivial example : The $20$-th Fermat-number $2^{2^{20}}+1$ is known to be composite, but no factor is known.
Denote $n$ to be the smallest prime factor of the $20$-th Fermat-number.
This number is well-defined but we do not know it, but in this case, we can bound it.
If this does not hit your intention, please precise which kind of properties you mean.
what means $Sigma$
– miracle173
Jun 10 '17 at 6:28
add a comment |
Since we do not know , for example $Sigma(5)$ , we do not know which number $n$ satisfies $n=Sigma(5)$, but we know that some number $n$ must satisfy the property. In this case we do not even have an upper bound.
Another less trivial example : The $20$-th Fermat-number $2^{2^{20}}+1$ is known to be composite, but no factor is known.
Denote $n$ to be the smallest prime factor of the $20$-th Fermat-number.
This number is well-defined but we do not know it, but in this case, we can bound it.
If this does not hit your intention, please precise which kind of properties you mean.
Since we do not know , for example $Sigma(5)$ , we do not know which number $n$ satisfies $n=Sigma(5)$, but we know that some number $n$ must satisfy the property. In this case we do not even have an upper bound.
Another less trivial example : The $20$-th Fermat-number $2^{2^{20}}+1$ is known to be composite, but no factor is known.
Denote $n$ to be the smallest prime factor of the $20$-th Fermat-number.
This number is well-defined but we do not know it, but in this case, we can bound it.
If this does not hit your intention, please precise which kind of properties you mean.
answered May 31 '16 at 13:17
Peter
46.5k1039125
46.5k1039125
what means $Sigma$
– miracle173
Jun 10 '17 at 6:28
add a comment |
what means $Sigma$
– miracle173
Jun 10 '17 at 6:28
what means $Sigma$
– miracle173
Jun 10 '17 at 6:28
what means $Sigma$
– miracle173
Jun 10 '17 at 6:28
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1495893%2fis-there-a-property-in-mathbbn-that-we-know-some-number-must-satisfy-but-do%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Well, I'm not sure if that will help, but I've heard that number theorists know that one of the numbers $3$, $5$ or $7$ (not sure now if these are the numbers, but there are three of them) is a primitive root $operatorname{mod}: p$ for an infinite amount of prime numbers $p$, but they don't know which one of them.
– Shoutre
Oct 24 '15 at 20:59
1
This question is similar but narrower, and has numerous good answers that fit well here too: math.stackexchange.com/questions/1315615/…
– Travis
Oct 24 '15 at 21:19