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

数学科学：动态系统和控制计算方法及其在应用微分几何中的应用

• 批准号: 9220942
• 负责人: Robert Hermann
• 金额: $ 2.5万
• 依托单位: Association For Physical & Systems Mathematics
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1992
• 资助国家: 美国
• 起止时间: 1992-12-01 至 1994-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9220942&HistoricalAwards=false
• 关键词: Mathematical; Sciences; Dynamical; System; Control

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.

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