析布劳维尔的直觉主义

阐述了直觉主义者的主要观点,认为海丁演算系统的提出是直觉主义逻辑最重要的发展,并对海丁演算系统的特点作了介绍和评价。同时介绍了直觉主义的消极作用和积极作用。

论希尔伯特的元数学纲领及其哲学意义

希尔伯特(D.Hilbert,1862～1943)是国际著名的德国数学家和逻辑学家。他所提出的元数学纲领奠定了证明论的基础,在数学和数理逻辑发展史上具有重大意义。本文试图对希尔伯特纲领作出全面的、历史的评述,并根据马克思主义哲学观点对它的哲学意义作出初步的概括。

试论数学对理性的反判

试论数学对理性的反判郝宁湘无疑，数学在人们心中一直是人类理性的最高代表，逻辑性、形式化、确定性、可靠性是数学最鲜明的特征，似乎一切非理性的东西都与数学毫不相干。然而事实并非如此，数学、尤其是现代数学，它不仅是逻辑的也是直觉的，不仅是必然的也是自由的，...

数学研究中的类比推理

复杂衍繁的自然界,事物千差万别,千姿百态,丰富多彩。小到原子、分子,大到天体宇宙,变幻莫测的大自然向人们提出了一个又一个科学之迷。千百年来,人类在探索自然的规律,也同时在探讨揭示自然之迷的方法。 唯物辩证法告诉我们,世界上一切事物都是互相联系的,尽管事物都有各自的特点。类比方法,就是将一事物与另一事物进行比较,找出它们之间的联系及相似之点,将一事物的有关结论推广到另一事物中去。

神奇的不动点

如果有人告诉你,在任何时刻,地球上总可以找到一个点,此时此刻在这个点上没有风.你一定对此感到十分惊讶,然而这却是千真万确的事实.缩小范围可能会使你更加信服.大家都知道,台风是热带海洋上的大风暴。