Little Theories
Little Theories
复制标题
小理论
DOI：
10.1007/3-540-55602-8_192
复制
发表时间：
1992
期刊：
影响因子：
--
通讯作者：
F. Thayer
中科院分区：
文献类型：
--
作者：
W. Farmer;J. Guttman;F. Thayer
在公理方法的“小理论”版本中，数学的不同部分在各种不同的形式公理理论中得到发展。公理理论可以通过包含或通过理论解释联系在一起。我们认为，小理论方法是形式化数学的理想方法，我们描述了交互式数学证明系统IMPS如何支持它。
In the “little theories” version of the axiomatic method, different portions of mathematics are developed in various different formal axiomatic theories. Axiomatic theories may be related by inclusion or by theory interpretation. We argue that the little theories approach is a desirable way to formalize mathematics, and we describe how imps, an Interactive Mathematical Proof System, supports it.