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 条

[41] FOUNDATIONS OF EUROCENTRISM IN MATHEMATICS
JOSEPH, GG
RACE & CLASS, 1987, 28 (03) : 13 - 28
[42] A revolution in the foundations of mathematics?
Hintikka, J
SYNTHESE, 1997, 111 (02) : 155 - 170
[43] A REVOLUTION IN THE FOUNDATIONS OF MATHEMATICS?
JAAKKO HINTIKKA
Synthese, 1997, 111 : 155 - 170
[44] LOGIC AND FOUNDATIONS OF MATHEMATICS
LOLLI, G
SCIENTIA, 1982, : 13 - 35
[45] Univalent Foundations of Mathematics
Voevodsky, Vladimir
LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, WOLLIC 2011, 2011, 6642 : 4 - 4
[46] SHAKING THE FOUNDATIONS OF MATHEMATICS
BARROW, J
NEW SCIENTIST, 1992, 136 (1848) : 36 - 39
[47] FOUNDATIONS AS A BRANCH OF MATHEMATICS
HATCHER, WS
JOURNAL OF PHILOSOPHICAL LOGIC, 1972, 1 (3-4) : 349 - 358
[48] Semiotics and the foundations of mathematics
Mortensen, C
Roberts, L
SEMIOTICA, 1997, 115 (1-2) : 1 - 25
[49] KANT AND FOUNDATIONS OF MATHEMATICS
KITCHER, P
PHILOSOPHICAL REVIEW, 1975, 84 (01): : 23 - 50
[50] MATHEMATICS WITHOUT FOUNDATIONS
PUTNAM, H
JOURNAL OF PHILOSOPHY, 1967, 64 (01): : 5 - 22

← 1 2 3 4 5 →