PROGRAMMING AND FORMALISM IN MATHEMATICS

被引：0

作者：

IVERSON, KE

机构：

来源：

CANADIAN MATHEMATICAL BULLETIN | 1966年 / 9卷 / 06期

关键词：

D O I：

暂无

中图分类号：

O7 [晶体学];

学科分类号：

0702 ; 070205 ; 0703 ; 080501 ;

摘要：

引用

页码：741 / &

共 50 条

[1] Meaning and formalism in mathematics
Dubinsky E.
[J]. International Journal of Computers for Mathematical Learning, 2000, 5 (3): : 211 - 240
[2] FORMALISM IN PROGRAMMING LANGUAGES
IVERSON, KE
[J]. COMMUNICATIONS OF THE ACM, 1964, 7 (02) : 80 - 88
[3] FORMALISM AND INTUITIONISM IN THE PHILOSOPHY OF MATHEMATICS
LARGEAULT, J
[J]. REVUE PHILOSOPHIQUE DE LA FRANCE ET DE L ETRANGER, 1990, 115 (03): : 521 - 546
[4] THE AMBIGUITIES OF FORMALISM + MATHEMATICS AND PHILOSOPHY
GARDIES, JL
[J]. REVUE PHILOSOPHIQUE DE LA FRANCE ET DE L ETRANGER, 1993, 118 (03): : 551 - 574
[5] WITTGENSTEIN, FORMALISM, AND SYMBOLIC MATHEMATICS
Nakano, Anderson Luis
[J]. KRITERION-REVISTA DE FILOSOFIA, 2020, 61 (145) : 31 - 53
[6] MATHEMATICS OF PROGRAMMING
GROSSMAN, SS
[J]. BYTE, 1986, 11 (10): : 14 - 14
[7] MATHEMATICS AS PROGRAMMING
CONSTABLE, RL
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 164 : 116 - 128
[8] MATHEMATICS OF PROGRAMMING
HOARE, CAR
[J]. BYTE, 1986, 11 (08): : 115 - &
[9] MATHEMATICS OF PROGRAMMING
GEFFE, PR
[J]. BYTE, 1986, 11 (12): : 24 - 24
[10] THE MATHEMATICS OF PROGRAMMING
HOARE, CAR
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 206 : 1 - 18