期刊文献+

数学的对象是什么

Objects of mathematics
下载PDF
导出
摘要 所有的科学是研究范式的科学,而数学是研究范式的范式的科学,数学的对象是所有可能的结构。集合和类之间的区别必须被理解为实结构和潜结构之间的区别,这种区别是一个结构的两个不同方面之间的区别:结构的纯关系概念和结构的实在性概念,这一理解使真正的极大的集合论域的产生成为可能。亚里士多德把潜无穷和实无穷区别开来,得出结论:一般不存在实无穷的对象,无穷是没有结束的、非确定的、没有实现的,并且是不能完善和实在化的东西。数学的无穷概念明显不等于不可完全性概念,集合是确定的、似对象的、实在的和具有完全性的全体,一个集合是多样性的统一。 All sciences are the study of patterns, and mathematics is the science of pattern of patterns. The objects of mathematics are all the possible structures. The distinction between sets and classes should be understood as between actual and potential structures, and this understanding makes possible a truly maximal conception of the set-theoretical universe. Aristotle distinguished between the potential infinite and the actual infinite, and concluded there is in general no actual infinite object because the infinite is the unfinished, the indefinite, the unrealizable, which cannot be completed and actualized. The mathematical infinite is obviously not identical to the incompletable, and a set is a definite, object-like, actual, completed totality, thus can be seen as the unity of many.
作者 姚从军
机构地区 南开大学哲学系
出处 《武汉科技大学学报(社会科学版)》 2009年第6期25-28,48,共5页 Journal of Wuhan University of Science and Technology:Social Science Edition
关键词 集合 实在 潜在 无穷 set class actual potential infinite
  • 相关文献

参考文献7

  • 1P Aczel. Non-well-founded sets[M]. Stanford: CSLI Publications, 1988.
  • 2A Baltag. STS:a structural theory of sets[J]. Logic Journal of the IGPL,1999,7(4).
  • 3Barwise J, L Moss. Vicious circles[M]. Stanford: CSLI Publications, 1996:17-20.
  • 4Malitz R J. Set theory in which the axiom of foundation fails[D]. University of California, 1976: 55.
  • 5Aristotle. Physics(Books Ⅲ) [M]. Oxford: Oxford University Press, 1983.
  • 6Michael Hallet. Cantorian set theory and limitation of size[M]. Oxford :Clarendom Press, 1986.
  • 7Zermelo E. Uber grenzaahlen und mengenbereiche [J]. Fundamenta Mathematische, 1930(16):29- 47.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部