The Archaeology of Non-Archimedean Analysis

非阿基米德分析的考古学

• 批准号: 9617059
• 负责人: Michael White
• 金额: $ 8.5万
• 依托单位: Arizona State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1997
• 资助国家: 美国
• 起止时间: 1997-06-01 至 1999-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9617059&HistoricalAwards=false
• 关键词: Archaeology; Non; Archimedean; Analysis

The principal interdisciplinary task of this project is to place contemporary non-Archimedean mathematical theory within an historical and conceptual context - within an intellectual tradition in which certain conceptual problems have been posed and various historical attempts have been made to solve those problems. The project is concerned with the Robinsonian foundations of non-Archimedean analysis. Its purpose is to relate non-Archimedean mathematics to its `archaeology, ` which is of considerable intrinsic historical importance and of conceptual significance for science studies. Non-Archimedean mathematics holds out the promise of providing an exciting tool for analysis of a wide variety of classical conceptual problems of great historical significance in natural philosophy and the philosophy of mathematics. It is important to investigate to what degree this promise can be fulfilled. History has shown that such a contextualization of a formal theory can sometimes play a stimulating role in its further mathematical development as well as in the development of possible scientific applications of it

该项目的主要跨学科任务是将当代的非围场数学理论置于历史和概念上的环境中 - 在智力传统中，其中已经提出了某些概念性问题，并进行了各种历史尝试来解决这些问题。该项目涉及罗宾逊分析的鲁滨逊基础。它的目的是将非统计数学数学与其“考古学”联系起来，这具有相当大的历史重要性，对于科学研究而言具有概念意义。 非Archimedean数学具有希望提供令人兴奋的工具来分析自然哲学和数学哲学的各种经典概念问题。 重要的是要调查这一诺言能够实现在多大程度上。 历史表明，形式理论的这种上下文化有时可以在其进一步的数学发展以及它可能的科学应用中发挥刺激性作用