目录:
合辑前言 /i
读读大师 走近数学———“数学家思想文库”总序 /iv
序 /ix
集合论的一种公理化 /1
形式主义的数学基础 /44
经济学中的数学方法 /53
关于 EDVAC报告的第一份草稿(节选)/67
论大规模计算机器的原理 /89
数学家 /149
自动机的一般理论和逻辑理论 /168
数学在科学和社会中的作用 /214
《量子力学的数学基础》前言 /230
物理科学中的方法 /234
我们能在技术条件下劫后余生吗? /244
数学高端科普出版书目 /261