Unsolved Problems due to Lack of Computational PowerExamples of falsified (or currently open) longstanding conjectures leading to large bodies of incorrect results.Computational Maths - Normalised mantissaDatabase of unsolved problems in mathematicsHow to know if one problem is more difficult than another one?Soft question: Reference on sociology of mathematics
Typesetting "hollow slash"
How to mock ApexTestQueueItem, AsyncApexJob, and ApexTestResult for test coverage?
Can I use my OWN published papers' images in my thesis without Copyright infringment
Why is su world executable?
String routines
Why does Japan use the same type of AC power outlet as the US?
What are the advantages of this gold finger shape?
May the tower use the runway while an emergency aircraft is inbound?
What is the fastest way to level past 95 in Diablo II?
How to gracefully leave a company you helped start?
Has there ever been a truly bilingual country prior to the contemporary period?
How to prevent criminal gangs from making/buying guns?
Select elements of a list by comparing it to another list
Physical Interpretation of an Overdamped Pendulum
Good way to stop electrolyte tabs from turning into powder?
What is the purpose/function of this power inductor in parallel?
Meaning of だけはわからない
Change the default Bookmarks Folder In Firefox
Is the Microsoft recommendation to use C# properties applicable to game development?
Attacking the Hydra
How to render "have ideas above his station" into German
Gofer work in exchange for LoR
Why do aircraft leave cruising altitude long before landing just to circle?
Output the list of musical notes
Unsolved Problems due to Lack of Computational Power
Examples of falsified (or currently open) longstanding conjectures leading to large bodies of incorrect results.Computational Maths - Normalised mantissaDatabase of unsolved problems in mathematicsHow to know if one problem is more difficult than another one?Soft question: Reference on sociology of mathematics
.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty margin-bottom:0;
$begingroup$
I was recently reading up about computational power and its uses in maths particularly to find counterexamples to conjectures. I was wondering are there any current mathematical problems which we are unable to solve due to our lack of computational power or inaccessibility to it.
What exactly am I looking for?
Problems of which we know that they can be solved with a finite (but very long) computation?
(e. g. NOT the Riemann hypothesis or twin prime conjecture)
I am looking for specific examples.
soft-question computer-science computational-mathematics computer-assisted-proofs
$endgroup$
add a comment |
$begingroup$
I was recently reading up about computational power and its uses in maths particularly to find counterexamples to conjectures. I was wondering are there any current mathematical problems which we are unable to solve due to our lack of computational power or inaccessibility to it.
What exactly am I looking for?
Problems of which we know that they can be solved with a finite (but very long) computation?
(e. g. NOT the Riemann hypothesis or twin prime conjecture)
I am looking for specific examples.
soft-question computer-science computational-mathematics computer-assisted-proofs
$endgroup$
1
$begingroup$
What exactly are you looking for? Problems of which we know that they can be solved with a finite (but very long) computation? (e. g. not the Riemann hypothesis or twin prime conjecture)
$endgroup$
– 0x539
8 hours ago
$begingroup$
@stackupphysics I think you need to clarify whether "lack" refers to a technological insufficiency (e.g. we don't yet have enough processing power) or a theoretical insufficiency (e.g. even a perfect computer could never solve the problem).
$endgroup$
– Jam
7 hours ago
$begingroup$
@0x539 I'll update
$endgroup$
– StackUpPhysics
46 mins ago
add a comment |
$begingroup$
I was recently reading up about computational power and its uses in maths particularly to find counterexamples to conjectures. I was wondering are there any current mathematical problems which we are unable to solve due to our lack of computational power or inaccessibility to it.
What exactly am I looking for?
Problems of which we know that they can be solved with a finite (but very long) computation?
(e. g. NOT the Riemann hypothesis or twin prime conjecture)
I am looking for specific examples.
soft-question computer-science computational-mathematics computer-assisted-proofs
$endgroup$
I was recently reading up about computational power and its uses in maths particularly to find counterexamples to conjectures. I was wondering are there any current mathematical problems which we are unable to solve due to our lack of computational power or inaccessibility to it.
What exactly am I looking for?
Problems of which we know that they can be solved with a finite (but very long) computation?
(e. g. NOT the Riemann hypothesis or twin prime conjecture)
I am looking for specific examples.
soft-question computer-science computational-mathematics computer-assisted-proofs
soft-question computer-science computational-mathematics computer-assisted-proofs
edited 3 mins ago
StackUpPhysics
asked 8 hours ago
StackUpPhysicsStackUpPhysics
4251 silver badge9 bronze badges
4251 silver badge9 bronze badges
1
$begingroup$
What exactly are you looking for? Problems of which we know that they can be solved with a finite (but very long) computation? (e. g. not the Riemann hypothesis or twin prime conjecture)
$endgroup$
– 0x539
8 hours ago
$begingroup$
@stackupphysics I think you need to clarify whether "lack" refers to a technological insufficiency (e.g. we don't yet have enough processing power) or a theoretical insufficiency (e.g. even a perfect computer could never solve the problem).
$endgroup$
– Jam
7 hours ago
$begingroup$
@0x539 I'll update
$endgroup$
– StackUpPhysics
46 mins ago
add a comment |
1
$begingroup$
What exactly are you looking for? Problems of which we know that they can be solved with a finite (but very long) computation? (e. g. not the Riemann hypothesis or twin prime conjecture)
$endgroup$
– 0x539
8 hours ago
$begingroup$
@stackupphysics I think you need to clarify whether "lack" refers to a technological insufficiency (e.g. we don't yet have enough processing power) or a theoretical insufficiency (e.g. even a perfect computer could never solve the problem).
$endgroup$
– Jam
7 hours ago
$begingroup$
@0x539 I'll update
$endgroup$
– StackUpPhysics
46 mins ago
1
1
$begingroup$
What exactly are you looking for? Problems of which we know that they can be solved with a finite (but very long) computation? (e. g. not the Riemann hypothesis or twin prime conjecture)
$endgroup$
– 0x539
8 hours ago
$begingroup$
What exactly are you looking for? Problems of which we know that they can be solved with a finite (but very long) computation? (e. g. not the Riemann hypothesis or twin prime conjecture)
$endgroup$
– 0x539
8 hours ago
$begingroup$
@stackupphysics I think you need to clarify whether "lack" refers to a technological insufficiency (e.g. we don't yet have enough processing power) or a theoretical insufficiency (e.g. even a perfect computer could never solve the problem).
$endgroup$
– Jam
7 hours ago
$begingroup$
@stackupphysics I think you need to clarify whether "lack" refers to a technological insufficiency (e.g. we don't yet have enough processing power) or a theoretical insufficiency (e.g. even a perfect computer could never solve the problem).
$endgroup$
– Jam
7 hours ago
$begingroup$
@0x539 I'll update
$endgroup$
– StackUpPhysics
46 mins ago
$begingroup$
@0x539 I'll update
$endgroup$
– StackUpPhysics
46 mins ago
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Some notorious problems of this kind are in discrete mathematics but involve a search space that is many magnitudes beyond what is feasible. For example the values of certain Ramsey numbers
http://mathworld.wolfram.com/RamseyNumber.html
or the existence of a Moore graph of degree 57 https://en.wikipedia.org/wiki/Moore_graph
$endgroup$
add a comment |
$begingroup$
Goldbach's weak conjecture isn't a conjecture anymore, but before it was proved (in 2013), it had already been proved that it was true for every $n>e^e^16,038$. It was not computationally possible to test it for all numbers $nleqslant e^e^16,038$ though.
$endgroup$
add a comment |
Your Answer
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%2f3325462%2funsolved-problems-due-to-lack-of-computational-power%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$
Some notorious problems of this kind are in discrete mathematics but involve a search space that is many magnitudes beyond what is feasible. For example the values of certain Ramsey numbers
http://mathworld.wolfram.com/RamseyNumber.html
or the existence of a Moore graph of degree 57 https://en.wikipedia.org/wiki/Moore_graph
$endgroup$
add a comment |
$begingroup$
Some notorious problems of this kind are in discrete mathematics but involve a search space that is many magnitudes beyond what is feasible. For example the values of certain Ramsey numbers
http://mathworld.wolfram.com/RamseyNumber.html
or the existence of a Moore graph of degree 57 https://en.wikipedia.org/wiki/Moore_graph
$endgroup$
add a comment |
$begingroup$
Some notorious problems of this kind are in discrete mathematics but involve a search space that is many magnitudes beyond what is feasible. For example the values of certain Ramsey numbers
http://mathworld.wolfram.com/RamseyNumber.html
or the existence of a Moore graph of degree 57 https://en.wikipedia.org/wiki/Moore_graph
$endgroup$
Some notorious problems of this kind are in discrete mathematics but involve a search space that is many magnitudes beyond what is feasible. For example the values of certain Ramsey numbers
http://mathworld.wolfram.com/RamseyNumber.html
or the existence of a Moore graph of degree 57 https://en.wikipedia.org/wiki/Moore_graph
answered 7 hours ago
ahulpkeahulpke
7,80711 silver badges26 bronze badges
7,80711 silver badges26 bronze badges
add a comment |
add a comment |
$begingroup$
Goldbach's weak conjecture isn't a conjecture anymore, but before it was proved (in 2013), it had already been proved that it was true for every $n>e^e^16,038$. It was not computationally possible to test it for all numbers $nleqslant e^e^16,038$ though.
$endgroup$
add a comment |
$begingroup$
Goldbach's weak conjecture isn't a conjecture anymore, but before it was proved (in 2013), it had already been proved that it was true for every $n>e^e^16,038$. It was not computationally possible to test it for all numbers $nleqslant e^e^16,038$ though.
$endgroup$
add a comment |
$begingroup$
Goldbach's weak conjecture isn't a conjecture anymore, but before it was proved (in 2013), it had already been proved that it was true for every $n>e^e^16,038$. It was not computationally possible to test it for all numbers $nleqslant e^e^16,038$ though.
$endgroup$
Goldbach's weak conjecture isn't a conjecture anymore, but before it was proved (in 2013), it had already been proved that it was true for every $n>e^e^16,038$. It was not computationally possible to test it for all numbers $nleqslant e^e^16,038$ though.
edited 7 hours ago
answered 7 hours ago
José Carlos SantosJosé Carlos Santos
208k26 gold badges163 silver badges287 bronze badges
208k26 gold badges163 silver badges287 bronze badges
add a comment |
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.
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%2f3325462%2funsolved-problems-due-to-lack-of-computational-power%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$
What exactly are you looking for? Problems of which we know that they can be solved with a finite (but very long) computation? (e. g. not the Riemann hypothesis or twin prime conjecture)
$endgroup$
– 0x539
8 hours ago
$begingroup$
@stackupphysics I think you need to clarify whether "lack" refers to a technological insufficiency (e.g. we don't yet have enough processing power) or a theoretical insufficiency (e.g. even a perfect computer could never solve the problem).
$endgroup$
– Jam
7 hours ago
$begingroup$
@0x539 I'll update
$endgroup$
– StackUpPhysics
46 mins ago