We all know that computers are basically a huge, whirring brain in a small box—but there is no any problem in there, they won’t ever be able to solve?
As youtube user Tom Scott explains in the video above, this is a question that has been in the scientists and mathematicians for many years now-ever since a man called David Hilbert posed by some is called the”decision problem.”
“It is in the short term, we can determine if any particular statement of the meaning of absolutely any logic in the statement or question in the universe—is proof or non-proof?” Explains Scott. “Given enough time, we can find an answer?”
The short answer seems no—but Scott’s explanation, which takes us through the work of mathematicians such as Alan Turing, is a fascinating journey.