不可计算性是解放而非限制

图灵证明某些问题"不可计算"，通常被视为坏消息——但它实际上解放了数学家：不需要在不可解的问题上浪费时间。承认边界比假装全能更有价值。