20世纪数理逻辑的概貌被引量：1

On the Development of the Logics in the 20th Century

下载PDF

导出

摘要这篇文章从历史的视角回顾了20世纪数理逻辑的面貌，并展望了21世纪或者21世纪早期数理逻辑的发展。

作者李娜

出处《自然辩证法研究》 CSSCI 北大核心 2002年第z1期50-53,共4页 Studies in Dialectics of Nature

基金本文得到普通高等学校人文社会科学重点研究基地基金资助。

关键词数理逻辑公理集合论递归论模型论证明论计算机科学

参考文献3

1P. Finsler, Uber die Grundlagen der Mengenlehre[J].I. Math. Zeitschrift, 1926(25): 683-713.
2D. Scott, A different Kind of Model of Set Theory [J]. Unpublished paper presented at the 1960 Stanford Congress of Logic, Methodology and Philosophy of Science, 1960:50.
3M. Boffa, Forcing et negation de 1 'axiome de Fondement [J]. Memoire Acad. Sci. Belg. tome XL, fasc. 7. 1972.
4J. Barwise and L. Moss, Vicious Circles: On the Mathematics of Non-Weufounded Phenomana [M]. in CSLI Lecture Notes No.60, Stanford, 1996: 42-76.
5J. Barwise and J. Etchemendy. The Liar[M]. Oxford: Oxford University Press, 1987.
6M. Forti and F. HonseU.Set Theory with Free Construction Principles[J].Annali Scuola Normale Superiore di Pisa, 1983(3).
7P. Aczel, Now-Well-Founded Sets[M].CSLI Lecture Notes No.14, Stanford, 1988.
8Nitta Takashi, Okada Tomoko, and Athanassios Tzouvaras.Classification of Non-WeU Founded Sets and An Application[J].Math. Log. Quart, 2003, 49(2):188-189.

自然辩证法研究

2002年第z1期

内容加载中请稍等...