1937年2月16日,尤里·伊万诺维奇·马宁(Yuri Ivanovich Manin)出生于苏联的辛菲罗波尔。他从事代数几何和丢番图几何的研究,开展了数理逻辑、理论物理学等领域的阐释性工作,是发展算术几何的关键人物之一。他也是最早提出量子计算机想法的人。


1960年,马宁获得了斯捷克洛夫数学研究所的博士学位,导师是伊戈尔·沙法列维奇(Igor  Shafarevich)。
马宁于1980年提出,量子计算机有可能完成经典计算机无法完成的模拟任务。他撰写了《可计算和不可计算》Computable and Uncomputable)一书。
第二年,
理查德·费曼(Richard Feynman
也提出了类似的观点。

谈到数学的文化价值,马宁说:

我认为,人类文化的基础是语言,而数学是一种特殊的语言活动。
自然语言是特别灵活的沟通工具,我们需要它来生存、表达感情、实施意愿、创造诗歌和宗教等虚拟世界、诱惑、定罪。但自然语言并不那么适合获取、组织、保存我们现在文明对自然越来越多的理解。亚里士多德可能已经把这种语言的力量发挥到了极致。
到了伽利略开普勒牛顿的时代,自然语言在科学中的地位下降了。科学知识被嵌在天文表、化学公式、量子场论等式、人类基因数据库里。自然语言是它们和人类大脑之间的高级中介。
用自然语言来学习或教授科学,我们会带入自己的价值观、偏见、诗意想象、对权力的热情、魔术技巧,而科学讨论并不真的需要这些。真正不可或缺的,都已经在或多或少结构化的数据清单里或数学里。

因此我认为,数学是人类文化最重要的成就之一。作为研究者和教师,我一辈子专注在数学上,而我每天工作结束后还是会敬畏和赞叹。
在数学专业之外,马宁还研究语言学,也写诗歌散文。他的散文和采访录被收录在《数学如隐喻》(Mathematics as Metaphor)一书中,可惜英文出版时删除了文学创作那部分,内容涵盖了认识论、科学史(主要是数学史)、数学与物理、语言的历史、人的意识。在书的前言,弗里曼·戴森(Freeman Dyson)把马宁比作在高空翱翔的鸟,俯瞰数学的广大领域,绘制大幅图景,而把自己比作一只只会钻洞的狐狸。
马宁现在是德国马克斯·普朗克数学研究所的教授。他指导过的博士生超过50位,包括2018年沃尔夫数学奖获得者贝林松和德里菲尔德。他写过很多影响深远的教材,涉及数学逻辑、同调代数、规范理论、三次型、非交换代数几何。
曼宁在接受采访时说过:
那些能让我们更智慧的证明,是好的证明。

Good proofs are proofs that make us wiser.
资料来源:
http://www.ega-math.narod.ru/Math/Manin.htm
延展阅读:

纪录片《Late Style – Yuri I. Manin Looking Back on a Life in Mathematics 》(2012)


我们不需要英雄
但我们需要榜样
几只青椒
长按二维码关注
继续阅读
阅读原文