《算经十书》… …………630 希尔伯特数学问题… 747 《周髀箅经》(见《算经 国际数学教育委员会… 282 十书》)…… …857(630) 国际数学联合会……… 283 《九章算术》 国际数学家大会……… 《海岛算经》(见《算经十书》)……288(630) 数学刊物 608 《孙子算经》见《算经十书》)……650(630) 中国数学教育 《张丘建算经》(见《算经十书》)…829(630) 中国数学研究机构……… 《五曹算经》(见《算经十书》)……742(630) 中国数学会 …845 《五经算术》(见《算经十书》)……742(630) 《缀术》(见《算经千书》) 859(630) 数学基碰 605 《数木记遗》(见《算经十书》)…602(630) 逻辑主义〔见数学基础) …462(605) 《夏侯阳算经》见《算经 形式主义(见数学基础) …782(605) 十书》)……… …752(630) 直觉主义(见数学基础) …841(605) 《缉古算经》见王孝通) 323(699) 数理精蕴》……-…………… 588 数理逻辑 588 《畴人传》……………………………87 逻輯演算 《数书九章》(见秦九韶) …602(535) 命题逻辑 476 《测圆海镜》(见李冶)…………46(137) 命题演算(见命题逻辑) …477(476) 《益古演段》(见李冶)……… 802(437) 阶逻辑… 797 《四无玉鉴》(见朱世杰) 624(858) 谓词演算(见一阶逻辑)……………733(797) 《算法统宗》见程大位)……………630(81) 高阶逻辑 《则古昔斋算学》(见李善兰)…826(434) 无穸逻辑…………………………………738 《凡何原本》 343 多值逻辑· 762 自然哲学的数学原理》(见牛 模态逻辑 482 构造逻辑… 272 《几何基础》见希尔伯特,D.)…341(743) 模糊逻辑〔见多值逻辑) 480(162) 中国古代数学计算方法 模型论 筹箅 模态模型论 483 珠算 非标准模型 孙子剩余定理………… 649 公理集合论 268 增乘开方法… 826 集合论公理系统……………… 贾宪三角 ∴360 力迫方法… 招差法 选择公理…………… 786 盈不足术… ………803 连续统假设 446 百鸡术………………… 递归论 125 〔其他〕 算法 629 递归函数 23 记数法………… 递归可枚举集…… …24 黄金分割 306 不可解度 希腊几何三大问題… 广义递归论…………… 275 计算工具 346 判定问题 504 和算 分层理论 208 费尔兹奖 205 证明论 40 沃尔夫奖… 734 数学无矛盾性… …6|2