中图分类法:	O141 版次：
题名:	Interpreting Go?del : [ critical essays /] / ,
载体形态:	xi, 279 pages ; 24 cm.
内容提要:	"The logician Kurt Go?del (1906-1978) published a paper in 1931 formulating what have come to be known as his 'incompleteness theorems', which prove, among other things, that within any formal system with resources sufficient to code arithmetic, questions exist which are neither provable nor disprovable on the basis of the axioms which define the system. These are among the most celebrated results in logic today. In this volume, leading philosophers and mathematicians assess importan