01 · 数学人生
成果背后的人
贝克1939年生于伦敦，是剑桥的重要数论学家。他通过代数数对数的线性形式，极大扩展了超越数方法，获得1970年菲尔兹奖。这些成果不仅区分代数数与超越数，还给出有效估计，使一些丢番图方程的解能够受到明确的界约束。其工作把抽象有限性同具体计算联系起来，让过去难以定位的解有机会通过有限搜索找出。
理解这项贡献
某些含幂的丢番图方程，可以改写成代数数对数的线性组合。假设存在很大的解，可能迫使这个组合异常接近零。贝克理论对适当的非零线性形式给出有效下界；如果假设的解太大，上下估计就会矛盾。这样，数论问题可以转化为明确的界，在合适情形下进一步化为有限计算。关键不是用计算器近似对数，而是排除小得不可能的非零量。
为什么重要
有效超越数估计为求解若干类丢番图方程提供工具，加深了超越数论与明确算术计算之间的联系。