马尔科夫，A．A．

【生卒】：1903～

【介绍】：

前苏联数学家、逻辑学家。苏联数学和数理逻辑方面结构学派的奠基人。1936年起任列宁格勒大学教授。1939年起在苏联科学院数学研究所工作。1953年起为苏联科学院通讯院士。1959年起任莫斯科大学数理逻辑教研室主任。主要著作有：《算法论》、《结构逻辑》、《数理逻辑和计算数学》、《论结构数学逻辑》等。马尔科夫在1954年首先提出用“算法”的概念来定义可计算函数。他的定义用了与计算机理论有密切联系的概念，同一般递归函数的定义、图林机理论等是等价的。马尔科夫和他的合作者利用算法的概念，建立了构造性数学的一个系统。他们把一切概念都归约为算法的概念，用日常语言表达所有的定义，严格避免引用实无穷的话，非形式地使用直觉主义逻辑。