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 ... 41-6061-8081-100 ... 181-183 next last
To: P.O.E.

Are they all evangelical Christians?


61 posted on 01/12/2019 6:13:07 AM PST by nwrep
[ Post Reply | Private Reply | To 10 | View Replies]

To: Sacajaweau
Has always driven me nuts that pi is an approximation.

That makes you a scientist. It allows you to pursue things that have never been understood before. That is good. I am an engineer, I am satisfied with an approximation if it can adequately be used to serve my purpose to make something useful. And make millions of them.

The various sizes of infinity is interesting but for me not very useful. Sort of looking at dazies growing on a hillside.

62 posted on 01/12/2019 6:13:27 AM PST by super7man (Madam Defarge, knitting, knitting, always knitting)
[ Post Reply | Private Reply | To 20 | View Replies]

To: BenLurkin

Math’s hard.


63 posted on 01/12/2019 6:13:29 AM PST by teeman8r (Armageddon won't be pretty, but it's not like it's the end of the world.)
[ Post Reply | Private Reply | To 1 | View Replies]

To: teeman8r

64 posted on 01/12/2019 6:15:29 AM PST by EEGator
[ Post Reply | Private Reply | To 63 | View Replies]

To: BenLurkin

I need one of those to put on my office door for my typical day of dealing with the techno-challenged and intellectually lazy.

It’d be pegged on danger whenever a printer problem came up.


65 posted on 01/12/2019 6:15:47 AM PST by wally_bert (We're low on dimes in fun city.)
[ Post Reply | Private Reply | To 58 | View Replies]

To: HangnJudge

“That’s not without getting into Complex Numbers”

Even as a child, faced with the concept of infinity, I wondered how you could ever count to one.


66 posted on 01/12/2019 6:16:36 AM PST by bk1000 (I stand with Trump)
[ Post Reply | Private Reply | To 46 | View Replies]

To: Sacajaweau

Pi is not an approximation.


67 posted on 01/12/2019 6:17:41 AM PST by dinodino
[ Post Reply | Private Reply | To 20 | View Replies]

To: BenLurkin

68 posted on 01/12/2019 6:18:52 AM PST by Diana in Wisconsin ( "Why can't you be more like Lloyd Braun?")
[ Post Reply | Private Reply | To 67 | View Replies]

To: teeman8r

69 posted on 01/12/2019 6:18:58 AM PST by BenLurkin (The above is not a statement of fact. It is either satire or opinion. Or both)
[ Post Reply | Private Reply | To 63 | View Replies]

To: LukeL

But they cannot be counted, or should I say enumerated, because they’re infinite.

Infinite is a state that cannot be enumerated. Logic tells us that, too.


70 posted on 01/12/2019 6:19:36 AM PST by Alas Babylon! (I can always count on some FReeper to paint a dark cloud above the silver lining. --Moonman62)
[ Post Reply | Private Reply | To 32 | View Replies]

To: Bitman
We won’t know until we open the box.

I was wondering when someone was going to drop a cat into this mess. Thread hijacker.

71 posted on 01/12/2019 6:19:56 AM PST by super7man (Madam Defarge, knitting, knitting, always knitting)
[ Post Reply | Private Reply | To 33 | View Replies]

To: Diana in Wisconsin

bttt!


72 posted on 01/12/2019 6:20:11 AM PST by BenLurkin (The above is not a statement of fact. It is either satire or opinion. Or both)
[ Post Reply | Private Reply | To 68 | View Replies]

To: Nuc 1.1
Apparently, some infinities are larger than others. Is there infinity envy?

There are in fact infinitely many infinities. [No comment on which infinity is meant in that statement.]

73 posted on 01/12/2019 6:20:28 AM PST by Pollster1 ("Governments derive their just powers from the consent of the governed")
[ Post Reply | Private Reply | To 39 | View Replies]

To: BenLurkin
God
74 posted on 01/12/2019 6:20:29 AM PST by MeneMeneTekelUpharsin (Freedom is the freedom to discipline yourself so others don't have to do it for you.)
[ Post Reply | Private Reply | To 1 | View Replies]

To: MeneMeneTekelUpharsin

Liberalism is like Nomad. Its Flawed Perfection.


75 posted on 01/12/2019 6:22:16 AM PST by goldstategop (In Memory Of A Dearly Beloved Friend Who Lives In My Heart Forever)
[ Post Reply | Private Reply | To 74 | View Replies]

To: exinnj

Mental masturbation, IMHO...


76 posted on 01/12/2019 6:24:16 AM PST by jagusafr
[ Post Reply | Private Reply | To 3 | View Replies]

To: Sacajaweau
Has always driven me nuts that pi is an approximation.

Even worse is Euler's Identity


77 posted on 01/12/2019 6:25:13 AM PST by HangnJudge
[ Post Reply | Private Reply | To 20 | View Replies]

To: BenLurkin

Math may be used to approximate what we accept as scientific reality quite well...but it still is a creation of our minds and is subject to our own physical limitations..It is no surprise that there are unknowables...even in a sophisticated artificial created “world” of pure math..


78 posted on 01/12/2019 6:27:03 AM PST by Getready (Wisdom is more valuable than gold and diamonds, and harder to find.)
[ Post Reply | Private Reply | To 1 | View Replies]

To: wally_bert
It’d be pegged on danger whenever a printer problem came up.

The probability of a printer failure is proportional to the importance of the document you are printing. The printer has a sensor in it that makes this happen.

79 posted on 01/12/2019 6:27:03 AM PST by super7man (Madam Defarge, knitting, knitting, always knitting)
[ Post Reply | Private Reply | To 65 | View Replies]

To: JohnG45

Experienced continual observation and learning throughout life. I would contend that the older and wiser we get the more we realize that we dont know JACK.

Except for O’Crazy-O-Kotex. She knows everything.


80 posted on 01/12/2019 6:27:19 AM PST by Delta 21
[ Post Reply | Private Reply | To 23 | View Replies]


Navigation: use the links below to view more comments.
first previous 1-20 ... 41-6061-8081-100 ... 181-183 next 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