Modern Infinitesimals as a Tool to Match Intuitive and Formal Reasoning in Analysis

Robert Lutz; Luis Gonzaga Luis Gonzaga

首页> 外文期刊>Synthese >Modern Infinitesimals as a Tool to Match Intuitive and Formal Reasoning in Analysis

【24h】

Modern Infinitesimals as a Tool to Match Intuitive and Formal Reasoning in Analysis

机译：现代无穷小作为分析中直觉和形式推理相匹配的工具

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

We discuss various ways, which have been plainly justified in the secondhalf of the twentieth century, to introduce infinitesimals, and we considerthe new style of reasoning in mathematical analysis that they allow.

机译：我们讨论了各种方法，这些方法在二十世纪下半叶已明确地证明是合理的，以引入无穷小，并且我们考虑了数学分析中允许的新推理方式。

著录项

来源
《Synthese》 |2003年第2期|325-351|共27页
作者
Robert Lutz; Luis Gonzaga Luis Gonzaga;
展开▼
作者单位

Faculté des sciences et techniques Université de Haute Alsace;

Universidade Aberta;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. On a Formal Tool for Reasoning About Flight Software Cost Analysis [J] . NASA Tech Briefs . 2013,第4期

机译：关于飞行软件成本分析推理的正式工具
2. Corrigendum: Harnessing modern web application technology to create intuitive and efficient data visualization and sharing tools [J] . Dylan Wood Frontiers in Neuroinformatics . 2015,第1期

机译：更正：利用现代Web应用程序技术来创建直观，高效的数据可视化和共享工具
3. Addressing the shortcomings of traditional formal reasoning methods for concurrent programs: New tools and techniques for source code correctness [J] . Shaw RJ., Olsson RA. Information Sciences: An International Journal . 1998,第3a4期

机译：解决并发程序的传统形式推理方法的缺点：源代码正确性的新工具和技术
4. A Supporting Tool for Spiral Model of Cryptographic Protocol Design with Reasoning-Based Formal Analysis [C] . Kazunori Wagatsuma, Tsubasa Harada, Shogo Anze, International Conference on Future Information Technology . 2016

机译：基于推理的正式分析的加密协议设计螺旋模型的支撑工具
5. Infinitesimal Reasoning in Information Retrieval and Trust-Based Recommendation Systems. [D] . Chowdhury, Maria. 2010

机译：信息检索和基于信任的推荐系统中的无穷小推理。
6. Corrigendum: Harnessing modern web application technology to create intuitive and efficient data visualization and sharing tools [O] . Dylan Wood 2015

机译：更正：利用现代Web应用程序技术来创建直观高效的数据可视化和共享工具
7. Some Reflections on the Many Labs 2 Replication of Norenzayan, Smith, Kim, and Nisbett’s (2002) Study 2: Cultural Preferences for Formal Versus Intuitive Reasoning [O] . Ara Norenzayan 2018

机译：关于诺伦康，史密斯，金，金，尼斯（2002年）研究2：正式与直观推理的文化偏好的一些思考

Modern Infinitesimals as a Tool to Match Intuitive and Formal Reasoning in Analysis

摘要

著录项

相似文献

相关主题

期刊订阅