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;








5












$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.










share|cite|improve this question











$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

















5












$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.










share|cite|improve this question











$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













5












5








5


3



$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.










share|cite|improve this question











$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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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












  • 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










2 Answers
2






active

oldest

votes


















4












$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






share|cite|improve this answer









$endgroup$






















    3












    $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.






    share|cite|improve this answer











    $endgroup$

















      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
      );



      );













      draft saved

      draft discarded


















      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









      4












      $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






      share|cite|improve this answer









      $endgroup$



















        4












        $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






        share|cite|improve this answer









        $endgroup$

















          4












          4








          4





          $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






          share|cite|improve this answer









          $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







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered 7 hours ago









          ahulpkeahulpke

          7,80711 silver badges26 bronze badges




          7,80711 silver badges26 bronze badges


























              3












              $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.






              share|cite|improve this answer











              $endgroup$



















                3












                $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.






                share|cite|improve this answer











                $endgroup$

















                  3












                  3








                  3





                  $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.






                  share|cite|improve this answer











                  $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.







                  share|cite|improve this answer














                  share|cite|improve this answer



                  share|cite|improve this answer








                  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






























                      draft saved

                      draft discarded
















































                      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.




                      draft saved


                      draft discarded














                      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





















































                      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







                      Popular posts from this blog

                      Invision Community Contents History See also References External links Navigation menuProprietaryinvisioncommunity.comIPS Community ForumsIPS Community Forumsthis blog entry"License Changes, IP.Board 3.4, and the Future""Interview -- Matt Mecham of Ibforums""CEO Invision Power Board, Matt Mecham Is a Liar, Thief!"IPB License Explanation 1.3, 1.3.1, 2.0, and 2.1ArchivedSecurity Fixes, Updates And Enhancements For IPB 1.3.1Archived"New Demo Accounts - Invision Power Services"the original"New Default Skin"the original"Invision Power Board 3.0.0 and Applications Released"the original"Archived copy"the original"Perpetual licenses being done away with""Release Notes - Invision Power Services""Introducing: IPS Community Suite 4!"Invision Community Release Notes

                      Canceling a color specificationRandomly assigning color to Graphics3D objects?Default color for Filling in Mathematica 9Coloring specific elements of sets with a prime modified order in an array plotHow to pick a color differing significantly from the colors already in a given color list?Detection of the text colorColor numbers based on their valueCan color schemes for use with ColorData include opacity specification?My dynamic color schemes

                      Ласкавець круглолистий Зміст Опис | Поширення | Галерея | Примітки | Посилання | Навігаційне меню58171138361-22960890446Bupleurum rotundifoliumEuro+Med PlantbasePlants of the World Online — Kew ScienceGermplasm Resources Information Network (GRIN)Ласкавецькн. VI : Літери Ком — Левиправивши або дописавши її