Signs of our times

Mathematical Notation Gets an Upgrade

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.” (Wired magazine, 17.12)


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s