⊙目录

第一编数学与计算机科学∥1

从黑箱到计算机——对计算机本质的一个剖析∥3

什么是理论计算机科学∥15

理论计算机科学中的一些问题∥25

拓扑学理论与计算方法∥33

映像度机器算法平话∥42

知识的不确定性与不确定推理49

计算机科学与逻辑学∥59

数学对象的计算机搜索∥68

数论中的计算问题∥75

理解计算∥84

量子计算动摇了丘奇一图灵论点吗—兼纪念图灵逝世50

周年∥92

第二编数学与人文艺术∥99

文学·数学·计算机…∥101

文学、数学与电子计算机∥109

乐音体系的数学原理∥117

数学与诗∥132

埃舍尔作品的数学趣味∥135

京都弦学之会记∥144

数学与中国文学的比较∥149

第四维、立体主义与相对论一庞加莱时代的文化与科学∥162

数学文化之魅力—西方数学影视大观∥168

统计科学及其文化魅力∥178

编辑手记∥188