Tag: Leonid Levin

3D rendering of abstract blocks of mathematical formulas located in the virtual space

^{Type
post

Eric Holloway
Date
May 20, 2024

Categorized
Artificial Intelligence, Mathematics

Tagged
Leonid Levin}

Will Artificial Intelligence Revolutionize Math?

_{In an article in Nature, mathematician Thomas Fink makes the case that AI can rapidly falsify wrong conjectures. But what about its built-in limitations?} _{Eric Holloway
May 20, 2024

5

Artificial Intelligence, Mathematics}

The limitations created by the nature of computing mean that a mathematician’s true job of discovering novel theorems is quite safe at present. Read More ›

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

^{Type
post

Eric Holloway
Date
March 31, 2020

Categorized
Artificial Intelligence, Programming

Tagged
Leonid Levin, NP-Complete (NPC) problems}

What’s Hard for Computers Is Easy for Humans

_{Some of the surprising things computers have a hard time doing and why} _{Eric Holloway
March 31, 2020

3

Artificial Intelligence, Programming}

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.

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} _{Eric Holloway
March 29, 2020

4

Mathematics, Philosophy of Mind}

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.

Artificial intelligence is impossible

_{Meaningful information vs artificial intelligence} _{Eric Holloway
September 19, 2018

4

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 ›