On the Relationship between Foundations of Programming and Mathematics

被引：0

|

作者：

S. S. Lavrov

机构：

[1] Russian Academy of Sciences,Institute of Applied Astronomy

来源：

Programming and Computer Software | 2001年 / 27卷

关键词：

Operating System; Artificial Intelligence;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：289 / 296

页数：7

相关论文

共 50 条

[31] SEMIOTICS AND THE FOUNDATIONS OF MATHEMATICS
LEOPOLOD, C
ZEITSCHRIFT FUR SEMIOTIK, 1991, 13 (3-4): : 247 - 256
[32] Metaphysics and the Foundations of Mathematics
Perminov, Vasilii Ya.
RUSSIAN STUDIES IN PHILOSOPHY, 2012, 50 (04) : 24 - 42
[33] Wittgenstein and the foundations of mathematics
Uspenskii, BA
VOPROSY FILOSOFII, 1998, (05) : 85 - 97
[34] Representations and the Foundations of Mathematics
Sanders, Sam
NOTRE DAME JOURNAL OF FORMAL LOGIC, 2022, 63 (01) : 1 - 28
[35] INTENSIONAL FOUNDATIONS OF MATHEMATICS
JUBIEN, M
NOUS, 1981, 15 (04): : 513 - 527
[36] MATHEMATICAL FOUNDATIONS FOR MATHEMATICS
HENKIN, L
AMERICAN MATHEMATICAL MONTHLY, 1971, 78 (05): : 463 - &
[37] Logic and the foundations of mathematics
Ginisti, JP
REVUE PHILOSOPHIQUE DE LA FRANCE ET DE L ETRANGER, 1999, 124 (01): : 91 - 92
[38] FOUNDATIONS OF MODERN MATHEMATICS
KLINE, M
RECHERCHE, 1975, 6 (54): : 200 - 208
[39] Formalising foundations of mathematics
Iancu, Mihnea
Rabe, Florian
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2011, 21 (04) : 883 - 911
[40] IF logic and the foundations of mathematics
Sandu, G
Hyttinen, T
SYNTHESE, 2001, 126 (1-2) : 37 - 47

← 1 2 3 4 5 →