01 · 计算人生
成果背后的人
曼纽尔·布卢姆研究计算的复杂性与可靠性。他的公理化方法澄清了衡量计算资源的含义，后来又研究程序检查、伪随机性与密码学。他在伯克利推动理论计算机科学共同体的发展。他持续探索有限计算如何仍能提供有用保证，影响了抽象理论与可信计算的实际方法。
理解这项贡献
曼纽尔·布卢姆发展了计算复杂性的基础结果，并将这些思想用于密码学和程序检查。一个核心主题是：即使目标不是直接运行计算，而是验证或保护它，理解其资源需求仍然很有价值。
为什么重要
理论边界和严格验证方法，成为可靠计算与安全计算的工具。