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

当计算机科学家从数学角度考虑计算机编程时，他们的思想通常被逻辑和从数学逻辑继承的工具（递归函数、复杂性、组合学等）所主导。P I计划于1992年至1993年在麻省理工学院的人工智能实验室与萨斯曼合作，试图将这些想法传播到计算机科学和数学社区。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.