1 / 17✕

Why can no machine ever settle every question in mathematics?

In 1936 Alan Turing proved that one simple question, "will this program ever stop?", is one no computer can always answer.

Tap to go on, or swipe →