在计算机科学界，这是一本杰出的科学普及名著，它以精心设计的巧妙笔法深入浅出地介绍了数理逻辑、可计算理论、人工智能等学科领域中的许多艰深理论，并将其与艾舍尔构思奇特的名画以及巴赫那些脍炙人口的曲谱结合起来。