Have the tides ever turned twice on any open problem?
$begingroup$
Oftentimes open problems will have some evidence which leads to a prevailing opinion that a certain proposition, $P$, is true. However, more evidence is discovered, which might lead to a consensus that $neg P$ is true. In both cases the evidence is not simply a "gut" feeling but is grounded in some heuristic justification.
Some examples that come to mind:
Because many decision problems, such as polynomial identity testing, have nice probabilistic solutions, i.e. they are in $mathsf{BPP}$, but are not known to have solutions in $mathsf{P}$, a reasonable conjecture was that $mathsf{P}subsetmathsf{BPP}$. Similarly it has been reasonable to suppose that $mathsf{NP}subsetmathsf{AM}$. However, based on the conjectured existence of strong-enough pseudorandom number generators, a reasonable statement nowadays is that $mathsf{P}=mathsf{BPP}$, etc.
I learned from Andrew Booker that, after some computer experiments in the 1950's, the prevailing opinion was that for no $k$ congruent to $3$ or $6$ mod $9$ are there an infinite number of solutions to $x^3+y^3+z^3=k$ with $(x,y,z)in mathbb{Z}^3$. However, after some conjectured heuristics from Heath-Brown, it is reasonable to state that most $k$ have an infinite number of solutions.
Numerical evidence suggests that for all $x$, $y$, we have $pi(x+y)leq pi(x)+pi(y)$. This is more commonly known as the "second Hardy-Littlewood Conjecture". See also this MSF question. However, in 1974 Ian Richards showed that this conjecture is incompatible with the other, more likely first conjecture of Hardy and Littlewood.
I'm interested if it has ever happened whether the process has ever repeated itself. That is:
Have there ever been situations wherein it is reasonable to suppose $P$, then, after some heuristic analysis, it is reasonable to supposed $neg P$, then, after further consideration, it is reasonable to suppose $P$?
I have read that Cantor thought the Continuum Hypothesis is true, then he thought it was false, then he gave up.
ho.history-overview
$endgroup$
add a comment |
$begingroup$
Oftentimes open problems will have some evidence which leads to a prevailing opinion that a certain proposition, $P$, is true. However, more evidence is discovered, which might lead to a consensus that $neg P$ is true. In both cases the evidence is not simply a "gut" feeling but is grounded in some heuristic justification.
Some examples that come to mind:
Because many decision problems, such as polynomial identity testing, have nice probabilistic solutions, i.e. they are in $mathsf{BPP}$, but are not known to have solutions in $mathsf{P}$, a reasonable conjecture was that $mathsf{P}subsetmathsf{BPP}$. Similarly it has been reasonable to suppose that $mathsf{NP}subsetmathsf{AM}$. However, based on the conjectured existence of strong-enough pseudorandom number generators, a reasonable statement nowadays is that $mathsf{P}=mathsf{BPP}$, etc.
I learned from Andrew Booker that, after some computer experiments in the 1950's, the prevailing opinion was that for no $k$ congruent to $3$ or $6$ mod $9$ are there an infinite number of solutions to $x^3+y^3+z^3=k$ with $(x,y,z)in mathbb{Z}^3$. However, after some conjectured heuristics from Heath-Brown, it is reasonable to state that most $k$ have an infinite number of solutions.
Numerical evidence suggests that for all $x$, $y$, we have $pi(x+y)leq pi(x)+pi(y)$. This is more commonly known as the "second Hardy-Littlewood Conjecture". See also this MSF question. However, in 1974 Ian Richards showed that this conjecture is incompatible with the other, more likely first conjecture of Hardy and Littlewood.
I'm interested if it has ever happened whether the process has ever repeated itself. That is:
Have there ever been situations wherein it is reasonable to suppose $P$, then, after some heuristic analysis, it is reasonable to supposed $neg P$, then, after further consideration, it is reasonable to suppose $P$?
I have read that Cantor thought the Continuum Hypothesis is true, then he thought it was false, then he gave up.
ho.history-overview
$endgroup$
1
$begingroup$
Fermat primes, boundedness of elliptic curve ranks
$endgroup$
– Wojowu
14 hours ago
$begingroup$
I have fixed some of what I think are typos, if I've got anything wrong feel free to edit back.
$endgroup$
– Wojowu
14 hours ago
3
$begingroup$
Not exactly an "open problem", but infinitesimals were fundamental in the initial development of calculus by Leibniz, then after Cauchy's rigorous development of analysis their use was considered non-rigorous, but then later in the 20th century a completely rigorous theory of infinitesimals was developed by Robinson.
$endgroup$
– Sam Hopkins
7 hours ago
$begingroup$
Regarding Booker's 1950s computing evidence: Wasn't it Swinnerton-Dyer who in the late 60s said something like "most number theory calculations to date do nothing more than pile up integers in the manner of a magpie"? (his work with Birch being an exception of course) $$ $$ For that matter, I don't see why the "prevailing opinion" should be for finiteness, indeed the 1955 Miller/Woollett paper (§14) perhaps suggests the opposite. OTOH, the later Gardiner/Lazarus Stein paper (1965) does opine that not all missing values would be represented, though they caution the reader about their evidence.
$endgroup$
– literature-searcher
5 hours ago
$begingroup$
According to the 1974 paper you linked to, the incompatibility of two conjectures of Hardy and Littlewood was the result of a collaboration between Ian Richards and Douglas Hensley.
$endgroup$
– bof
25 secs ago
add a comment |
$begingroup$
Oftentimes open problems will have some evidence which leads to a prevailing opinion that a certain proposition, $P$, is true. However, more evidence is discovered, which might lead to a consensus that $neg P$ is true. In both cases the evidence is not simply a "gut" feeling but is grounded in some heuristic justification.
Some examples that come to mind:
Because many decision problems, such as polynomial identity testing, have nice probabilistic solutions, i.e. they are in $mathsf{BPP}$, but are not known to have solutions in $mathsf{P}$, a reasonable conjecture was that $mathsf{P}subsetmathsf{BPP}$. Similarly it has been reasonable to suppose that $mathsf{NP}subsetmathsf{AM}$. However, based on the conjectured existence of strong-enough pseudorandom number generators, a reasonable statement nowadays is that $mathsf{P}=mathsf{BPP}$, etc.
I learned from Andrew Booker that, after some computer experiments in the 1950's, the prevailing opinion was that for no $k$ congruent to $3$ or $6$ mod $9$ are there an infinite number of solutions to $x^3+y^3+z^3=k$ with $(x,y,z)in mathbb{Z}^3$. However, after some conjectured heuristics from Heath-Brown, it is reasonable to state that most $k$ have an infinite number of solutions.
Numerical evidence suggests that for all $x$, $y$, we have $pi(x+y)leq pi(x)+pi(y)$. This is more commonly known as the "second Hardy-Littlewood Conjecture". See also this MSF question. However, in 1974 Ian Richards showed that this conjecture is incompatible with the other, more likely first conjecture of Hardy and Littlewood.
I'm interested if it has ever happened whether the process has ever repeated itself. That is:
Have there ever been situations wherein it is reasonable to suppose $P$, then, after some heuristic analysis, it is reasonable to supposed $neg P$, then, after further consideration, it is reasonable to suppose $P$?
I have read that Cantor thought the Continuum Hypothesis is true, then he thought it was false, then he gave up.
ho.history-overview
$endgroup$
Oftentimes open problems will have some evidence which leads to a prevailing opinion that a certain proposition, $P$, is true. However, more evidence is discovered, which might lead to a consensus that $neg P$ is true. In both cases the evidence is not simply a "gut" feeling but is grounded in some heuristic justification.
Some examples that come to mind:
Because many decision problems, such as polynomial identity testing, have nice probabilistic solutions, i.e. they are in $mathsf{BPP}$, but are not known to have solutions in $mathsf{P}$, a reasonable conjecture was that $mathsf{P}subsetmathsf{BPP}$. Similarly it has been reasonable to suppose that $mathsf{NP}subsetmathsf{AM}$. However, based on the conjectured existence of strong-enough pseudorandom number generators, a reasonable statement nowadays is that $mathsf{P}=mathsf{BPP}$, etc.
I learned from Andrew Booker that, after some computer experiments in the 1950's, the prevailing opinion was that for no $k$ congruent to $3$ or $6$ mod $9$ are there an infinite number of solutions to $x^3+y^3+z^3=k$ with $(x,y,z)in mathbb{Z}^3$. However, after some conjectured heuristics from Heath-Brown, it is reasonable to state that most $k$ have an infinite number of solutions.
Numerical evidence suggests that for all $x$, $y$, we have $pi(x+y)leq pi(x)+pi(y)$. This is more commonly known as the "second Hardy-Littlewood Conjecture". See also this MSF question. However, in 1974 Ian Richards showed that this conjecture is incompatible with the other, more likely first conjecture of Hardy and Littlewood.
I'm interested if it has ever happened whether the process has ever repeated itself. That is:
Have there ever been situations wherein it is reasonable to suppose $P$, then, after some heuristic analysis, it is reasonable to supposed $neg P$, then, after further consideration, it is reasonable to suppose $P$?
I have read that Cantor thought the Continuum Hypothesis is true, then he thought it was false, then he gave up.
ho.history-overview
ho.history-overview
edited 8 hours ago
community wiki
4 revs, 2 users 94%
Mark S
1
$begingroup$
Fermat primes, boundedness of elliptic curve ranks
$endgroup$
– Wojowu
14 hours ago
$begingroup$
I have fixed some of what I think are typos, if I've got anything wrong feel free to edit back.
$endgroup$
– Wojowu
14 hours ago
3
$begingroup$
Not exactly an "open problem", but infinitesimals were fundamental in the initial development of calculus by Leibniz, then after Cauchy's rigorous development of analysis their use was considered non-rigorous, but then later in the 20th century a completely rigorous theory of infinitesimals was developed by Robinson.
$endgroup$
– Sam Hopkins
7 hours ago
$begingroup$
Regarding Booker's 1950s computing evidence: Wasn't it Swinnerton-Dyer who in the late 60s said something like "most number theory calculations to date do nothing more than pile up integers in the manner of a magpie"? (his work with Birch being an exception of course) $$ $$ For that matter, I don't see why the "prevailing opinion" should be for finiteness, indeed the 1955 Miller/Woollett paper (§14) perhaps suggests the opposite. OTOH, the later Gardiner/Lazarus Stein paper (1965) does opine that not all missing values would be represented, though they caution the reader about their evidence.
$endgroup$
– literature-searcher
5 hours ago
$begingroup$
According to the 1974 paper you linked to, the incompatibility of two conjectures of Hardy and Littlewood was the result of a collaboration between Ian Richards and Douglas Hensley.
$endgroup$
– bof
25 secs ago
add a comment |
1
$begingroup$
Fermat primes, boundedness of elliptic curve ranks
$endgroup$
– Wojowu
14 hours ago
$begingroup$
I have fixed some of what I think are typos, if I've got anything wrong feel free to edit back.
$endgroup$
– Wojowu
14 hours ago
3
$begingroup$
Not exactly an "open problem", but infinitesimals were fundamental in the initial development of calculus by Leibniz, then after Cauchy's rigorous development of analysis their use was considered non-rigorous, but then later in the 20th century a completely rigorous theory of infinitesimals was developed by Robinson.
$endgroup$
– Sam Hopkins
7 hours ago
$begingroup$
Regarding Booker's 1950s computing evidence: Wasn't it Swinnerton-Dyer who in the late 60s said something like "most number theory calculations to date do nothing more than pile up integers in the manner of a magpie"? (his work with Birch being an exception of course) $$ $$ For that matter, I don't see why the "prevailing opinion" should be for finiteness, indeed the 1955 Miller/Woollett paper (§14) perhaps suggests the opposite. OTOH, the later Gardiner/Lazarus Stein paper (1965) does opine that not all missing values would be represented, though they caution the reader about their evidence.
$endgroup$
– literature-searcher
5 hours ago
$begingroup$
According to the 1974 paper you linked to, the incompatibility of two conjectures of Hardy and Littlewood was the result of a collaboration between Ian Richards and Douglas Hensley.
$endgroup$
– bof
25 secs ago
1
1
$begingroup$
Fermat primes, boundedness of elliptic curve ranks
$endgroup$
– Wojowu
14 hours ago
$begingroup$
Fermat primes, boundedness of elliptic curve ranks
$endgroup$
– Wojowu
14 hours ago
$begingroup$
I have fixed some of what I think are typos, if I've got anything wrong feel free to edit back.
$endgroup$
– Wojowu
14 hours ago
$begingroup$
I have fixed some of what I think are typos, if I've got anything wrong feel free to edit back.
$endgroup$
– Wojowu
14 hours ago
3
3
$begingroup$
Not exactly an "open problem", but infinitesimals were fundamental in the initial development of calculus by Leibniz, then after Cauchy's rigorous development of analysis their use was considered non-rigorous, but then later in the 20th century a completely rigorous theory of infinitesimals was developed by Robinson.
$endgroup$
– Sam Hopkins
7 hours ago
$begingroup$
Not exactly an "open problem", but infinitesimals were fundamental in the initial development of calculus by Leibniz, then after Cauchy's rigorous development of analysis their use was considered non-rigorous, but then later in the 20th century a completely rigorous theory of infinitesimals was developed by Robinson.
$endgroup$
– Sam Hopkins
7 hours ago
$begingroup$
Regarding Booker's 1950s computing evidence: Wasn't it Swinnerton-Dyer who in the late 60s said something like "most number theory calculations to date do nothing more than pile up integers in the manner of a magpie"? (his work with Birch being an exception of course) $$ $$ For that matter, I don't see why the "prevailing opinion" should be for finiteness, indeed the 1955 Miller/Woollett paper (§14) perhaps suggests the opposite. OTOH, the later Gardiner/Lazarus Stein paper (1965) does opine that not all missing values would be represented, though they caution the reader about their evidence.
$endgroup$
– literature-searcher
5 hours ago
$begingroup$
Regarding Booker's 1950s computing evidence: Wasn't it Swinnerton-Dyer who in the late 60s said something like "most number theory calculations to date do nothing more than pile up integers in the manner of a magpie"? (his work with Birch being an exception of course) $$ $$ For that matter, I don't see why the "prevailing opinion" should be for finiteness, indeed the 1955 Miller/Woollett paper (§14) perhaps suggests the opposite. OTOH, the later Gardiner/Lazarus Stein paper (1965) does opine that not all missing values would be represented, though they caution the reader about their evidence.
$endgroup$
– literature-searcher
5 hours ago
$begingroup$
According to the 1974 paper you linked to, the incompatibility of two conjectures of Hardy and Littlewood was the result of a collaboration between Ian Richards and Douglas Hensley.
$endgroup$
– bof
25 secs ago
$begingroup$
According to the 1974 paper you linked to, the incompatibility of two conjectures of Hardy and Littlewood was the result of a collaboration between Ian Richards and Douglas Hensley.
$endgroup$
– bof
25 secs ago
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
I think that originally there was a belief (at least on the part of some mathematicians) that for an elliptic curve $E/mathbb{Q}$, both the size of the torsion subgroup of $E(mathbb Q)$ and its rank were bounded independently of $E$. The former is true, and a famous theorem of Mazur. But then as curves of higher and higher rank were constructed (cf. What heuristic evidence is there concerning the unboundedness or boundedness of Mordell-Weil ranks of elliptic curves over $Bbb Q$?), the consensus became that there was no bound for the rank. But recently there have been heuristic arguments that have convinced many people that the correct conjecture is that there is a uniform bound for the rank. Indeed, something like: Conjecture There are only finitely many $E/mathbb{Q}$ for which the rank of $E(mathbb{Q})$ exceed 22. (Although there is one example of an elliptic curve of rank 28 due to Elkies.)
$endgroup$
$begingroup$
As is also the case for some other examples discussed, this instance could eventually become an example of a tide that turned (at least) thrice :)
$endgroup$
– Nell
5 hours ago
$begingroup$
The last time I checked the status on Elkie's curve is still that the rank is at least $28$, but not known to be exact. Has that changed?
$endgroup$
– Stanley Yao Xiao
5 hours ago
1
$begingroup$
@StanleyYaoXiao You're correct, I'm just being my usual imprecise self. At present, there seems to be no hope of doing any sort of descent to show that the rank is exactly 28.
$endgroup$
– Joe Silverman
4 hours ago
1
$begingroup$
@StanleyYaoXiao The rank is 28 under GRH arxiv.org/abs/1606.07178
$endgroup$
– Aurel
2 hours ago
add a comment |
$begingroup$
$P=,!$ Calabi’s conjecture.
Specifically, the link says “By the late 1960s, many were doubtful of the Calabi conjecture”, then Yau did “produce a "counterexample" to the conjecture. The "counterexample" was soon discovered to be flawed”, finally in 1976 Yau proved the conjecture. More details: Yau’s autobiographical account.
$endgroup$
5
$begingroup$
Would be nice if you could at least briefly outline how the tides have turned regarding this problem. The link you provide doesn't discuss the history of the problem at all.
$endgroup$
– Wojowu
8 hours ago
1
$begingroup$
@Wojowu The link says “By the late 1960s, many were doubtful of the Calabi conjecture”, then Yau did “produce a "counterexample" to the conjecture. The "counterexample" was soon discovered to be flawed”, finally in 1976 Yau proved the conjecture. More details: Yau’s autobiographical account.
$endgroup$
– Francois Ziegler
8 hours ago
$begingroup$
Apologies, I haven't read on to the following subsection.
$endgroup$
– Wojowu
8 hours ago
3
$begingroup$
@FrancoisZiegler: It’s much more helpful to put the salient points into the answer here — both so that readers don’t have to click through to a separate site, and so that this answer will still be meaningful in five years when with high probability the link may no longer work.
$endgroup$
– Peter LeFanu Lumsdaine
5 hours ago
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: "504"
};
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%2fmathoverflow.net%2fquestions%2f325566%2fhave-the-tides-ever-turned-twice-on-any-open-problem%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
I think that originally there was a belief (at least on the part of some mathematicians) that for an elliptic curve $E/mathbb{Q}$, both the size of the torsion subgroup of $E(mathbb Q)$ and its rank were bounded independently of $E$. The former is true, and a famous theorem of Mazur. But then as curves of higher and higher rank were constructed (cf. What heuristic evidence is there concerning the unboundedness or boundedness of Mordell-Weil ranks of elliptic curves over $Bbb Q$?), the consensus became that there was no bound for the rank. But recently there have been heuristic arguments that have convinced many people that the correct conjecture is that there is a uniform bound for the rank. Indeed, something like: Conjecture There are only finitely many $E/mathbb{Q}$ for which the rank of $E(mathbb{Q})$ exceed 22. (Although there is one example of an elliptic curve of rank 28 due to Elkies.)
$endgroup$
$begingroup$
As is also the case for some other examples discussed, this instance could eventually become an example of a tide that turned (at least) thrice :)
$endgroup$
– Nell
5 hours ago
$begingroup$
The last time I checked the status on Elkie's curve is still that the rank is at least $28$, but not known to be exact. Has that changed?
$endgroup$
– Stanley Yao Xiao
5 hours ago
1
$begingroup$
@StanleyYaoXiao You're correct, I'm just being my usual imprecise self. At present, there seems to be no hope of doing any sort of descent to show that the rank is exactly 28.
$endgroup$
– Joe Silverman
4 hours ago
1
$begingroup$
@StanleyYaoXiao The rank is 28 under GRH arxiv.org/abs/1606.07178
$endgroup$
– Aurel
2 hours ago
add a comment |
$begingroup$
I think that originally there was a belief (at least on the part of some mathematicians) that for an elliptic curve $E/mathbb{Q}$, both the size of the torsion subgroup of $E(mathbb Q)$ and its rank were bounded independently of $E$. The former is true, and a famous theorem of Mazur. But then as curves of higher and higher rank were constructed (cf. What heuristic evidence is there concerning the unboundedness or boundedness of Mordell-Weil ranks of elliptic curves over $Bbb Q$?), the consensus became that there was no bound for the rank. But recently there have been heuristic arguments that have convinced many people that the correct conjecture is that there is a uniform bound for the rank. Indeed, something like: Conjecture There are only finitely many $E/mathbb{Q}$ for which the rank of $E(mathbb{Q})$ exceed 22. (Although there is one example of an elliptic curve of rank 28 due to Elkies.)
$endgroup$
$begingroup$
As is also the case for some other examples discussed, this instance could eventually become an example of a tide that turned (at least) thrice :)
$endgroup$
– Nell
5 hours ago
$begingroup$
The last time I checked the status on Elkie's curve is still that the rank is at least $28$, but not known to be exact. Has that changed?
$endgroup$
– Stanley Yao Xiao
5 hours ago
1
$begingroup$
@StanleyYaoXiao You're correct, I'm just being my usual imprecise self. At present, there seems to be no hope of doing any sort of descent to show that the rank is exactly 28.
$endgroup$
– Joe Silverman
4 hours ago
1
$begingroup$
@StanleyYaoXiao The rank is 28 under GRH arxiv.org/abs/1606.07178
$endgroup$
– Aurel
2 hours ago
add a comment |
$begingroup$
I think that originally there was a belief (at least on the part of some mathematicians) that for an elliptic curve $E/mathbb{Q}$, both the size of the torsion subgroup of $E(mathbb Q)$ and its rank were bounded independently of $E$. The former is true, and a famous theorem of Mazur. But then as curves of higher and higher rank were constructed (cf. What heuristic evidence is there concerning the unboundedness or boundedness of Mordell-Weil ranks of elliptic curves over $Bbb Q$?), the consensus became that there was no bound for the rank. But recently there have been heuristic arguments that have convinced many people that the correct conjecture is that there is a uniform bound for the rank. Indeed, something like: Conjecture There are only finitely many $E/mathbb{Q}$ for which the rank of $E(mathbb{Q})$ exceed 22. (Although there is one example of an elliptic curve of rank 28 due to Elkies.)
$endgroup$
I think that originally there was a belief (at least on the part of some mathematicians) that for an elliptic curve $E/mathbb{Q}$, both the size of the torsion subgroup of $E(mathbb Q)$ and its rank were bounded independently of $E$. The former is true, and a famous theorem of Mazur. But then as curves of higher and higher rank were constructed (cf. What heuristic evidence is there concerning the unboundedness or boundedness of Mordell-Weil ranks of elliptic curves over $Bbb Q$?), the consensus became that there was no bound for the rank. But recently there have been heuristic arguments that have convinced many people that the correct conjecture is that there is a uniform bound for the rank. Indeed, something like: Conjecture There are only finitely many $E/mathbb{Q}$ for which the rank of $E(mathbb{Q})$ exceed 22. (Although there is one example of an elliptic curve of rank 28 due to Elkies.)
answered 13 hours ago
community wiki
Joe Silverman
$begingroup$
As is also the case for some other examples discussed, this instance could eventually become an example of a tide that turned (at least) thrice :)
$endgroup$
– Nell
5 hours ago
$begingroup$
The last time I checked the status on Elkie's curve is still that the rank is at least $28$, but not known to be exact. Has that changed?
$endgroup$
– Stanley Yao Xiao
5 hours ago
1
$begingroup$
@StanleyYaoXiao You're correct, I'm just being my usual imprecise self. At present, there seems to be no hope of doing any sort of descent to show that the rank is exactly 28.
$endgroup$
– Joe Silverman
4 hours ago
1
$begingroup$
@StanleyYaoXiao The rank is 28 under GRH arxiv.org/abs/1606.07178
$endgroup$
– Aurel
2 hours ago
add a comment |
$begingroup$
As is also the case for some other examples discussed, this instance could eventually become an example of a tide that turned (at least) thrice :)
$endgroup$
– Nell
5 hours ago
$begingroup$
The last time I checked the status on Elkie's curve is still that the rank is at least $28$, but not known to be exact. Has that changed?
$endgroup$
– Stanley Yao Xiao
5 hours ago
1
$begingroup$
@StanleyYaoXiao You're correct, I'm just being my usual imprecise self. At present, there seems to be no hope of doing any sort of descent to show that the rank is exactly 28.
$endgroup$
– Joe Silverman
4 hours ago
1
$begingroup$
@StanleyYaoXiao The rank is 28 under GRH arxiv.org/abs/1606.07178
$endgroup$
– Aurel
2 hours ago
$begingroup$
As is also the case for some other examples discussed, this instance could eventually become an example of a tide that turned (at least) thrice :)
$endgroup$
– Nell
5 hours ago
$begingroup$
As is also the case for some other examples discussed, this instance could eventually become an example of a tide that turned (at least) thrice :)
$endgroup$
– Nell
5 hours ago
$begingroup$
The last time I checked the status on Elkie's curve is still that the rank is at least $28$, but not known to be exact. Has that changed?
$endgroup$
– Stanley Yao Xiao
5 hours ago
$begingroup$
The last time I checked the status on Elkie's curve is still that the rank is at least $28$, but not known to be exact. Has that changed?
$endgroup$
– Stanley Yao Xiao
5 hours ago
1
1
$begingroup$
@StanleyYaoXiao You're correct, I'm just being my usual imprecise self. At present, there seems to be no hope of doing any sort of descent to show that the rank is exactly 28.
$endgroup$
– Joe Silverman
4 hours ago
$begingroup$
@StanleyYaoXiao You're correct, I'm just being my usual imprecise self. At present, there seems to be no hope of doing any sort of descent to show that the rank is exactly 28.
$endgroup$
– Joe Silverman
4 hours ago
1
1
$begingroup$
@StanleyYaoXiao The rank is 28 under GRH arxiv.org/abs/1606.07178
$endgroup$
– Aurel
2 hours ago
$begingroup$
@StanleyYaoXiao The rank is 28 under GRH arxiv.org/abs/1606.07178
$endgroup$
– Aurel
2 hours ago
add a comment |
$begingroup$
$P=,!$ Calabi’s conjecture.
Specifically, the link says “By the late 1960s, many were doubtful of the Calabi conjecture”, then Yau did “produce a "counterexample" to the conjecture. The "counterexample" was soon discovered to be flawed”, finally in 1976 Yau proved the conjecture. More details: Yau’s autobiographical account.
$endgroup$
5
$begingroup$
Would be nice if you could at least briefly outline how the tides have turned regarding this problem. The link you provide doesn't discuss the history of the problem at all.
$endgroup$
– Wojowu
8 hours ago
1
$begingroup$
@Wojowu The link says “By the late 1960s, many were doubtful of the Calabi conjecture”, then Yau did “produce a "counterexample" to the conjecture. The "counterexample" was soon discovered to be flawed”, finally in 1976 Yau proved the conjecture. More details: Yau’s autobiographical account.
$endgroup$
– Francois Ziegler
8 hours ago
$begingroup$
Apologies, I haven't read on to the following subsection.
$endgroup$
– Wojowu
8 hours ago
3
$begingroup$
@FrancoisZiegler: It’s much more helpful to put the salient points into the answer here — both so that readers don’t have to click through to a separate site, and so that this answer will still be meaningful in five years when with high probability the link may no longer work.
$endgroup$
– Peter LeFanu Lumsdaine
5 hours ago
add a comment |
$begingroup$
$P=,!$ Calabi’s conjecture.
Specifically, the link says “By the late 1960s, many were doubtful of the Calabi conjecture”, then Yau did “produce a "counterexample" to the conjecture. The "counterexample" was soon discovered to be flawed”, finally in 1976 Yau proved the conjecture. More details: Yau’s autobiographical account.
$endgroup$
5
$begingroup$
Would be nice if you could at least briefly outline how the tides have turned regarding this problem. The link you provide doesn't discuss the history of the problem at all.
$endgroup$
– Wojowu
8 hours ago
1
$begingroup$
@Wojowu The link says “By the late 1960s, many were doubtful of the Calabi conjecture”, then Yau did “produce a "counterexample" to the conjecture. The "counterexample" was soon discovered to be flawed”, finally in 1976 Yau proved the conjecture. More details: Yau’s autobiographical account.
$endgroup$
– Francois Ziegler
8 hours ago
$begingroup$
Apologies, I haven't read on to the following subsection.
$endgroup$
– Wojowu
8 hours ago
3
$begingroup$
@FrancoisZiegler: It’s much more helpful to put the salient points into the answer here — both so that readers don’t have to click through to a separate site, and so that this answer will still be meaningful in five years when with high probability the link may no longer work.
$endgroup$
– Peter LeFanu Lumsdaine
5 hours ago
add a comment |
$begingroup$
$P=,!$ Calabi’s conjecture.
Specifically, the link says “By the late 1960s, many were doubtful of the Calabi conjecture”, then Yau did “produce a "counterexample" to the conjecture. The "counterexample" was soon discovered to be flawed”, finally in 1976 Yau proved the conjecture. More details: Yau’s autobiographical account.
$endgroup$
$P=,!$ Calabi’s conjecture.
Specifically, the link says “By the late 1960s, many were doubtful of the Calabi conjecture”, then Yau did “produce a "counterexample" to the conjecture. The "counterexample" was soon discovered to be flawed”, finally in 1976 Yau proved the conjecture. More details: Yau’s autobiographical account.
edited 5 hours ago
community wiki
2 revs, 2 users 60%
Todd Trimble
5
$begingroup$
Would be nice if you could at least briefly outline how the tides have turned regarding this problem. The link you provide doesn't discuss the history of the problem at all.
$endgroup$
– Wojowu
8 hours ago
1
$begingroup$
@Wojowu The link says “By the late 1960s, many were doubtful of the Calabi conjecture”, then Yau did “produce a "counterexample" to the conjecture. The "counterexample" was soon discovered to be flawed”, finally in 1976 Yau proved the conjecture. More details: Yau’s autobiographical account.
$endgroup$
– Francois Ziegler
8 hours ago
$begingroup$
Apologies, I haven't read on to the following subsection.
$endgroup$
– Wojowu
8 hours ago
3
$begingroup$
@FrancoisZiegler: It’s much more helpful to put the salient points into the answer here — both so that readers don’t have to click through to a separate site, and so that this answer will still be meaningful in five years when with high probability the link may no longer work.
$endgroup$
– Peter LeFanu Lumsdaine
5 hours ago
add a comment |
5
$begingroup$
Would be nice if you could at least briefly outline how the tides have turned regarding this problem. The link you provide doesn't discuss the history of the problem at all.
$endgroup$
– Wojowu
8 hours ago
1
$begingroup$
@Wojowu The link says “By the late 1960s, many were doubtful of the Calabi conjecture”, then Yau did “produce a "counterexample" to the conjecture. The "counterexample" was soon discovered to be flawed”, finally in 1976 Yau proved the conjecture. More details: Yau’s autobiographical account.
$endgroup$
– Francois Ziegler
8 hours ago
$begingroup$
Apologies, I haven't read on to the following subsection.
$endgroup$
– Wojowu
8 hours ago
3
$begingroup$
@FrancoisZiegler: It’s much more helpful to put the salient points into the answer here — both so that readers don’t have to click through to a separate site, and so that this answer will still be meaningful in five years when with high probability the link may no longer work.
$endgroup$
– Peter LeFanu Lumsdaine
5 hours ago
5
5
$begingroup$
Would be nice if you could at least briefly outline how the tides have turned regarding this problem. The link you provide doesn't discuss the history of the problem at all.
$endgroup$
– Wojowu
8 hours ago
$begingroup$
Would be nice if you could at least briefly outline how the tides have turned regarding this problem. The link you provide doesn't discuss the history of the problem at all.
$endgroup$
– Wojowu
8 hours ago
1
1
$begingroup$
@Wojowu The link says “By the late 1960s, many were doubtful of the Calabi conjecture”, then Yau did “produce a "counterexample" to the conjecture. The "counterexample" was soon discovered to be flawed”, finally in 1976 Yau proved the conjecture. More details: Yau’s autobiographical account.
$endgroup$
– Francois Ziegler
8 hours ago
$begingroup$
@Wojowu The link says “By the late 1960s, many were doubtful of the Calabi conjecture”, then Yau did “produce a "counterexample" to the conjecture. The "counterexample" was soon discovered to be flawed”, finally in 1976 Yau proved the conjecture. More details: Yau’s autobiographical account.
$endgroup$
– Francois Ziegler
8 hours ago
$begingroup$
Apologies, I haven't read on to the following subsection.
$endgroup$
– Wojowu
8 hours ago
$begingroup$
Apologies, I haven't read on to the following subsection.
$endgroup$
– Wojowu
8 hours ago
3
3
$begingroup$
@FrancoisZiegler: It’s much more helpful to put the salient points into the answer here — both so that readers don’t have to click through to a separate site, and so that this answer will still be meaningful in five years when with high probability the link may no longer work.
$endgroup$
– Peter LeFanu Lumsdaine
5 hours ago
$begingroup$
@FrancoisZiegler: It’s much more helpful to put the salient points into the answer here — both so that readers don’t have to click through to a separate site, and so that this answer will still be meaningful in five years when with high probability the link may no longer work.
$endgroup$
– Peter LeFanu Lumsdaine
5 hours ago
add a comment |
Thanks for contributing an answer to MathOverflow!
- 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.
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%2fmathoverflow.net%2fquestions%2f325566%2fhave-the-tides-ever-turned-twice-on-any-open-problem%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
1
$begingroup$
Fermat primes, boundedness of elliptic curve ranks
$endgroup$
– Wojowu
14 hours ago
$begingroup$
I have fixed some of what I think are typos, if I've got anything wrong feel free to edit back.
$endgroup$
– Wojowu
14 hours ago
3
$begingroup$
Not exactly an "open problem", but infinitesimals were fundamental in the initial development of calculus by Leibniz, then after Cauchy's rigorous development of analysis their use was considered non-rigorous, but then later in the 20th century a completely rigorous theory of infinitesimals was developed by Robinson.
$endgroup$
– Sam Hopkins
7 hours ago
$begingroup$
Regarding Booker's 1950s computing evidence: Wasn't it Swinnerton-Dyer who in the late 60s said something like "most number theory calculations to date do nothing more than pile up integers in the manner of a magpie"? (his work with Birch being an exception of course) $$ $$ For that matter, I don't see why the "prevailing opinion" should be for finiteness, indeed the 1955 Miller/Woollett paper (§14) perhaps suggests the opposite. OTOH, the later Gardiner/Lazarus Stein paper (1965) does opine that not all missing values would be represented, though they caution the reader about their evidence.
$endgroup$
– literature-searcher
5 hours ago
$begingroup$
According to the 1974 paper you linked to, the incompatibility of two conjectures of Hardy and Littlewood was the result of a collaboration between Ian Richards and Douglas Hensley.
$endgroup$
– bof
25 secs ago