New York — Gödel's undecidability is now a cryptographic primitive. Existing post-quantum schemes rely on computationally hard problems; undecidability is absolute — no algorithm can ever resolve it.
Quanta Magazine