《一个定理的诞生》一书，关于沃沃斯基的部分

沃沃斯基没有努力给我讲解自己的工作，而是跟我谈了谈他的梦想。那是一个一直以来让他无比痴迷、不惜全力以赴的研究课题 —-专家系统（langages experts）和自动定理证明。