Mathematical Sciences: A Dynamical System and Control Approach to Computation with Applications to Applied Differential Geometry

当计算机科学家用数学术语思考计算机编程时，他们的思维通常被逻辑和工具(递归函数、复杂性、组合学等)所主导。继承自数理逻辑。P I计划在1992-93年间与萨斯曼在麻省理工学院的人工智能实验室合作，试图将这些想法传播到计算机科学和数学界。P I有一些有趣的想法，涉及到所谓的“数学技术转移”。他将致力于这一活动的计算方法。

When computer scientists think of Computer Programming in mathematical terms, their thoughts are usually dominated by logic and the tools (Recursive Functions, Complexity, Combinatorics, ...) inherited from mathematical logic. P I plans to work with Sussman at the AI Lab of MIT in 1992- 93, to try to propagate the ideas out into the computer science and mathematics community. The P I has some interesting ideas involving what might be called "technology transfer of mathematics." He will work on a computational approach to this activity.