| 马尔科夫 Андрей Андреевич Марков1903—1979 苏联数学家、逻辑学家。苏联数学和数理逻辑学上的结构学派的奠基人之一。1935年获物理学-数学博士学位。1936年起任列宁格勒大学教授。1939年起在苏联科学院数学研究所工作。1953年起为苏联科学院通讯院士。1959年起任莫斯科大学数理逻辑教研室主任。在算法理论研究方面卓有成就。1954年发表《算法论》，首次明确提出与一般递归函数和可计算函数等价的“算法”概念，为数学的判定问题提供了精确的数学表述。这一概念被人们广泛接受后，判定问题遂从数学家的直观概念上升为精确的数学概念，成为数理逻辑的一个重要分支。在研究制定构造性逻辑的语义学方面，提出了以“阶梯语义系统”著称的语义学方案。主要著作还有《结构逻辑》、《数理逻辑和计算数学》、《论结构数学逻辑》等。 |