Super Slow Computer Programs Reveal Math's Fundamental Limits

The goal of the “busy beaver” game is to find the longest-running computer program. Its pursuit has surprising connections to profound questions in math.

from Wired https://ift.tt/2LywNh9
via Gabe's Musing's