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

当计算机科学家认为计算机编程 数学术语，他们的思维通常是由逻辑主导的 和工具（递归函数，复杂性，组合学， ...)继承了数学逻辑。 PI计划于1992年在麻省理工学院的人工智能实验室与Sussman合作- 93，试图将这些想法传播到计算机科学中， 数学社区。 私人侦探有一些有趣的想法， 叫做“数学技术转移”。“他将致力于一个 计算方法来进行这项活动。

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.