本书详细介绍了隐藏在程序下的思想:程序是思想的载体。思想是程序的灵魂。