Get the FREE DIGITAL BOOK: The Case for Killer Robots
Mind Matters Reporting on Natural and Artificial Intelligence

TagLeonid Levin

Shot of Corridor in Working Data Center Full of Rack Servers and Supercomputers with Internet connection Visualisation Projection.
Shot of Corridor in Working Data Center Full of Rack Servers and Supercomputers with Internet connection Visualization Projection.

What’s Hard for Computers Is Easy for Humans

Some of the surprising things computers have a hard time doing and why

We often hear that what’s hard for humans is easy for computers. But it turns out that many kinds of problems are exceedingly hard for computers to solve. This class of problems, known as NP-Complete (NPC), was independently discovered by Stephen Cook and Leonid Levin.

Read More ›
ft9104_7833

Math Shows Why the Mind Is Not Just a Formula

The Liar’s Paradox shows that even mathematics cannot be reduced to a fixed set of axioms

Gödel’s discovery brought back a sense of wonder to mathematics and to the rest of human knowledge. His incompleteness theorem underlies the fact that human investigation can never exhaust all that can be known. Every discovery builds a path to a new discovery.

Read More ›
steve-johnson-628975-unsplash

Artificial intelligence is impossible

Meaningful information vs artificial intelligence
Because the law of independence conservation states that no combination of randomness and determinism can create mutual information, then likewise no Turing machine nor artificial intelligence can create mutual information. Thus, the goal of artificial intelligence researchers to reproduce human intelligence with a computer program is impossible to achieve. Read More ›