Computers Might Never Be Able To Solve These Three Problems

Computers Might Never Be Able To Solve These Three Problems

In computer science, an undecidable problem is one that requires a yes or no answer, but is impossible for any known computer to reliably solve. Three of these problems are the halting problem, Kolmogorov complexity, and the Wang tile problem. The halting problem refers to whether a computer can determine if a program will ever finish running, whereas Kolmogorov complexity deals with compression, and the impossibility of perfectly compressing any given file. Wang tiles are square tiles with a color on each side. Infinitely placing them next to each other so that the colors of each side match the colors on the adjacent squares is called "tiling the plane," and there is currently no computer that can predict whether a given set of Wang tiles will tile the plane. Dive deeper into these computer conundrums in the video below.

3 Problems Computers Will Never Solve

Computers can't do everything. Here are three problems that they'll never conquer.

03:08

Key Facts In This Video

  • 1

    The halting problems states that no computer can always determine if a program will continue to run or eventually stop. (0:32)

  • 2

    Thus far, no program can perfectly compress any given file due to Kolmogorov complexity. (1:23)

  • 3

    There can be no method that can take any given set of Wang tiles and tell you whether or not it will tile the plane. (2:05)

How Cold War Computers Failed At Russian

Don't think programming computers to translate would be controversial? Think again.

The Philosophy Of Artificial Intelligence

Computers may not be able to solve some problems, but they are on the cusp of having lifelike AI. Explore the ethics of this new frontier.

See all

Computers

Technology

Scientists

Sculpture

Get smarter every day! Like us on Facebook.
You'll get the most interesting and engaging topics in your feed, straight from our team of experts.