For 70 years, mathematicians have been stuck on the Halting Problem: Computers occasionally hang on one line of code and fail to move on to the next, and no one can reliably predict when that will happen. (The result is the unending hourglass or pinwheel of death.) But a few years ago, Microsoft researcher Byron Cook and his colleagues did the unthinkable — they hacked a fix. When Cook tried to describe the workaround, however, he found it impossible to explain with existing mathematical symbols.
His only option, he decided, was to invent new ones. Cook phoned a friend, artist Tauba Auerbach, and after several months of brainstorming, the duo sketched out nine symbols, each of which indicates a function not easily describable with existing notation. Cook is applying the signs in a book on the Halting Problem and plans to submit them for inclusion in LaTeX, the typesetting program mathematicians use to publish their work. “Symbols change over time,” Cook says. “Some really convey what they’re after, and some don’t. Those that do stick.” Hopefully, Cook’s signs will stick around long enough to ensure a glitch-free future.”