How Unknowable Math Can Help Hide Secrets

Mathematicians spend most of their time thinking about what’s knowable. But the unknowable can be just as compelling. Perhaps the most famous example comes from a theorem by the logician Kurt Gödel. Gödel’s celebrated result — one of two “incompleteness theorems” he published in 1931 — established that for any reasonable set of basic mathematical assumptions, called axioms, it’s impossible to…

Source