Free Republic
Browse · Search
General/Chat
Topics · Post Article

Skip to comments.

Mathematicians Discovered a Computer Problem that No One Can Ever Solve
livescience.com ^ | January 11, 2019 08:08am ET | By Rafi Letzter,

Posted on 01/12/2019 5:15:03 AM PST by BenLurkin

The trouble is, math is sort of broken. It's been broken since 1931, when the logician Kurt Gödel published his famous incompleteness theorems. They showed that in any mathematical system, there are certain questions that cannot be answered. They're not really difficult — they're unknowable. Mathematicians learned that their ability to understand the universe was fundamentally limited. Gödel and another mathematician named Paul Cohen found an example: the continuum hypothesis.

The continuum hypothesis goes like this: Mathematicians already know that there are infinities of different sizes. For instance, there are infinitely many integers (numbers like 1, 2, 3, 4, 5 and so on); and there are infinitely many real numbers (which include numbers like 1, 2, 3 and so on, but they also include numbers like 1.8 and 5,222.7 and pi). But even though there are infinitely many integers and infinitely many real numbers, there are clearly more real numbers than there are integers. Which raises the question, are there any infinities larger than the set of integers but smaller than the set of real numbers? The continuum hypothesis says, yes, there are.

Gödel and Cohen showed that it's impossible to prove that the continuum hypothesis is right, but also it's impossible to prove that it's wrong. "Is the continuum hypothesis true?" is a question without an answer.

In a paper published Monday, Jan. 7, in the journal Nature Machine Intelligence, the researchers showed that EMX is inextricably linked to the continuum hypothesis. It turns out that EMX can solve a problem only if the continuum hypothesis is true. But if it's not true, EMX can't.. That means that the question, "Can EMX learn to solve this problem?"has an answer as unknowable as the continuum hypothesis itself.

(Excerpt) Read more at livescience.com ...


TOPICS: Science
KEYWORDS: continuumhypothesis; kurtgodel; paulcohen; rafiletzter; stringtheory
Navigation: use the links below to view more comments.
first previous 1-20 ... 121-140141-160161-180181-183 last
To: mabarker1

Scones?... Now yer makin’ me hungry!


181 posted on 01/17/2019 7:11:22 PM PST by MHGinTN (A dispensation perspective is a powerful tool for discernment)
[ Post Reply | Private Reply | To 180 | View Replies]

To: MHGinTN

With Earl Grey and Bitter Orange Marmalade ?


182 posted on 01/17/2019 8:11:11 PM PST by mabarker1 (Congress- the opposite of PROGRESS!!!)
[ Post Reply | Private Reply | To 181 | View Replies]

To: mabarker1

Be still my churning tummy! I have the tea pot and serving dishes. Do you prefer a butterfly motif or Hummingbirds?


183 posted on 01/18/2019 10:40:38 AM PST by MHGinTN (A dispensation perspective is a powerful tool for discernment)
[ Post Reply | Private Reply | To 182 | View Replies]


Navigation: use the links below to view more comments.
first previous 1-20 ... 121-140141-160161-180181-183 last

Disclaimer: Opinions posted on Free Republic are those of the individual posters and do not necessarily represent the opinion of Free Republic or its management. All materials posted herein are protected by copyright law and the exemption for fair use of copyrighted works.

Free Republic
Browse · Search
General/Chat
Topics · Post Article

FreeRepublic, LLC, PO BOX 9771, FRESNO, CA 93794
FreeRepublic.com is powered by software copyright 2000-2008 John Robinson