16
$\begingroup$

When reading about some open problems, a lot of them have quotes by renowned mathematicians that “[the conjecture] cannot be solved using the current technology” or something along these lines. What do they mean by that? Are they talking about the axioms? Or are they generally speaking in terms of intelligence and mathematical abilities?

These ones are just at the top of my mind:

https://terrytao.wordpress.com/2011/08/25/the-collatz-conjecture-littlewood-offord-theory-and-powers-of-2-and-3/

https://m.youtube.com/watch?v=MXJ-zpJeY3E (skip to the end where the talk about the Riemann Hypothesis)

But I’ve seen many, many more examples

|cite|improve this question
$\endgroup$
  • 11
    $\begingroup$ Paul Erdős said about the Collatz conjecture: "Mathematics may not be ready for such problems" $\endgroup$ – J. W. Tanner Jul 14 at 23:05
  • 2
    $\begingroup$ @J. W. Tanner That’s one of the examples of what I mean $\endgroup$ – Borna Ahmadzade Jul 14 at 23:09
  • 1
    $\begingroup$ Yes, I gave that, because someone asked for examples, in a comment that has now been deleted $\endgroup$ – J. W. Tanner Jul 14 at 23:11
  • 10
    $\begingroup$ Are you sure you did not misheard "current techniques" as "current technologies"? $\endgroup$ – Giacomo Alzetta Jul 15 at 10:40
  • 6
    $\begingroup$ @GiacomoAlzetta People really do say "current technology" just as the poster describes - no reason to think it's a mishearing. You can see it in paragraph 2 of the link to Terry Tao's blog that the poster provides, for example. $\endgroup$ – James Martin Jul 15 at 11:53
39
$\begingroup$

This doesn't have any formal meaning. It just means that they believe the problem can't be solved with the techniques that mathematicians have already developed and instead some big new idea will be necessary to solve it. That is, "the current technology" refers to the collection of proof methods that mathematicians have discovered already. It's meant as a sort of metaphor between mathematics and engineering: some engineering problems can be solved by just finding a clever way to put together already existing technologies, while others require major new inventions. In the same way, some mathematics problems can be solved by just finding clever new uses of ideas that are already known while other mathematics problems require something more novel.

|cite|improve this answer
$\endgroup$
  • 13
    $\begingroup$ +1 Ultimately, though, every "novel proof technique" can be expressed in terms of the "old proof techniques". Indeed, how else would one prove the validity of it? (Unless, of course, you vary the foundation by adding axioms for instance.) So formally, what can be proven using those novel techniques can already be proven now. However, that proof may be significantly longer and out of reach for human minds. The same way you can put a nail into some piece of wood with your feet vs. with a hammer. Tools (proof techniques) bridge the gap. $\endgroup$ – ComFreek Jul 15 at 7:36
  • 8
    $\begingroup$ I would be a bit more careful with "doesn't have any formal meaning". For very famous conjectures such as P ?= NP there are large classes of techniques that have been proven to be fruitless or proven to need to show something so much stronger that it's unlikely to work. $\endgroup$ – orlp Jul 15 at 14:04
  • $\begingroup$ And of course the only way we know that something can be proven using current techniques is if there is a proof. $\endgroup$ – Acccumulation Jul 15 at 22:36
  • $\begingroup$ @ComFreek: Sure, if you go down to the level of "proof techniques" like modus ponens and other basics, you can say that anything provable is provable with current techniques, but that's a lot lower-level than people mean when they say this stuff. It's like saying that the Roman Empire could have built a helicopter with the already-established "technology" of interacting with the physical world using their bodies, because some sequence of physical actions they could do with their bodies would have created a working helicopter. $\endgroup$ – user2357112 Jul 16 at 2:50
-5
$\begingroup$

It means that the methods they have don't suffice to solve the problem and the technology they researched wont give back a mathematic answer that satisfy their conjecture.

The problem in general (which is the amount of times “[the conjecture] cannot be solved using the current technology” is cited) its not a factual (some would say 'engineering') problem because the question is generally not a finite and descriptive one (refer to 'How do I ask a good question?' in stack overflow https://stackoverflow.com/help/how-to-ask ).

Many mathematic problems of the sort don't seek a concrete answer but rather a general solution. Meanwhile, technology works great to get concrete solutions to specific problems and therefore technology would have to be directed/tailored to solve that specific problem or to give broader answers that can answer such question, which is something not done yet for the problem in question.

|cite|improve this answer
$\endgroup$
  • $\begingroup$ If you guys send a downvote, please tell the user how to improve his answer. $\endgroup$ – Luis Felipe Aug 7 at 14:07
  • $\begingroup$ Or at least write down why you downvoted. $\endgroup$ – deags Aug 7 at 15:24

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.